@inproceedings{SIGMOD-2003-Bierman,
	author        = "Gavin M. Bierman",
	booktitle     = "{Proceedings of the 31st ACM SIGMOD International Conference on Management of Data}",
	doi           = "10.1145/872757.872807",
	isbn          = "1-58113-634-X",
	pages         = "407--418",
	publisher     = "{ACM}",
	title         = "{Formal semantics and analysis of object queries}",
	year          = 2003,
}