The Essence of XML (2003)

by J Simeon, P Wadler
Venue:Proceedings of POPL 2003, ACM