Holger Riedel Marc H. Scholl A Formalization of ODMG Queries. 219-247 1997 DS-7 db/conf/ds/ds97.html#RiedelS97