Verwaltung von variablen Datenmengen
VDM Tutor
Unions
Rekursive Typdefinition
Verwaltung von variablen Datenmengen
Implementation rekursiver Strukturen
Beispiel: Syntaxdefinition von Programmiersprachen
VDM Class Library