Aufruf des VDM-Compilers
VDM Tutor
UNION (unio)
Der VDM-Compiler
VDM Class Library