Semantics and Correctness of a Query Language Translation. - E. Gansner; Joseph R. Horgan; Chandra M. R. Kintala; D. J. Moore; Pamela Surko (POPL, 1982)