Ein neuartiger, auf VDM <Vienna Development Method> basierender Codegenerator-Generator. - Schmidt, Uwe (1983)