A new codegenerator-generator based on VDM (in German (1983)

by U Schmidt