Hong Li Yang, Jin Song Dong, Ke Gang Hao, Jun Gang Han: Formalizing Semantics of XSLT Using Object-Z. APWeb 2003: 120-131