Jones, C.B. "Systematic Software Development Using VDM", P-H 1989

Languages mentioned

• VDM-SL {1978}