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)