A Formal and Unified Description of XML Manipulation Languages. - Hidders, Jan; Paredaens, Jan (Fundamenta Informaticae, 2016)