Kazuhiro Inaba, Haruo Hosoya: MTran: An XML Transformation Language Based on Monadic Second Order Logic. PLAN-X 2007: 91-92