"MTran: An XML Transformation Language Based on Monadic Second Order Logic."

Kazuhiro Inaba, Haruo Hosoya (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics