Schmidt, Uwe Ein neuartiger, auf VDM basierender Codegenerator-Generator. Technical Report, Univ. of Kiel, Dept. of Computer Science 4/83. (December 1983).

Languages mentioned

• CAT {1983}