Authors: T. Guenther, K.-D. Schewe, I.Wetzel
Titel: On the Derivation of Executable Database
       Programs from Formal Specifications
Source file: fmelncs.tex
Print file: fmelncs.ps