Kazuhiro Inaba, Haruo Hosoya: XML Transformation Language Based on Monadic Second Order Logic. PLAN-X 2007: 49-60