On the Derivation of Executable Database Programs from Formal Specifications.

Thomas Gnther, Klaus-Dieter Schewe, Ingrid Wetzel

Browse the full FM paper archive.