"On the Derivation of Executable Database Programs from Formal Specifications."

Thomas Günther, Klaus-Dieter Schewe, Ingrid Wetzel (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics