Juan Bicarregui, Brian Matthews. The Specification and Proof of an EXPRESS to SQL "Compiler". In Juan Bicarregui, editor, Proof in VDM: Case Studies. Formal Approaches to Computing and Information Technology (FACIT), pages 95-121, Springer, 1998. [doi]
Abstract is missing.