"A Typed Calculus for Querying Distributed XML Documents."

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics