Hong Li Yang, Jin Song Dong, Ke Gang Hao, Jun Gang Han. Formalizing Semantics of XSLT Using Object-Z. In Xiaofang Zhou, Yanchun Zhang, Maria E. Orlowska, editors, Web Technologies and Applications, 5th Asian-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings. Volume 2642 of Lecture Notes in Computer Science, pages 120-131, Springer, 2003. [doi]
Abstract is missing.