Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani: Types for Correctness of Queries over Semistructured Data. WebDB 2002: 19-24