Giuseppe Castagna Patterns and Types for Querying XML Documents. 1-3 2005 conf/xsym/2005 XSym http://dx.doi.org/10.1007/11547273_1 db/conf/xsym/xsym2005.html#Castagna05