Formalizing Semantics of XSLT Using Object-Z. - Hong Li Yang; Jin Song Dong; Ke Gang Hao; Jun Gang Han (APWeb, 2003)

The Common Semantic Constructs of XML Family. - Hong Li Yang; Jun Gang Han; Ke Gang Hao (ICFEM, 2003)

Design and implementation of an SDH high-speed switch. - Dehui Zhang; Quan Liang Zhao; Jun Gang Han (ASP-DAC, 2005)