@inproceedings{DBLP:conf/popl/GansnerHKMS82,
	author={E. Gansner, 
               Joseph R. Horgan, 
               Chandra M. R. Kintala, 
               D. J. Moore, 
               P. Surko},
	booktitle={POPL},
	pages={289-298},
	title={Semantics and Correctness of a Query Language Translation},
	year=1982,
}