title: xquery formal semantics : state and challenges. authors: peter fankhauser. venue: sigmod record. year: 2001
title: xquery formal semantics state and challenges. authors: peter fankhauser. venue: acm sigmod record. year: 2001