Maneth, et al.. XML Type Checking with Macro Tree Transducers. ACM Press, 2005, doi:10.1145/1065167.1065203.