Abstraktion beim Programmieren
VDM Tutor
VDM - eine kurze
Abstrakte Datentypen
Abstraktion beim Programmieren
Was sind abstrakte Datentypen ?
Der modellorientierte Ansatz
VDM Class Library