Authors: I. Wetzel, K.D. Schewe, J.W. Schmidt
Title: Specification and Refinment in an Integrated
       Database Application Environment.
Source file: VDM.tex
Print file: VDM.ps