Jones, C.B. "Systematic Software Development Using VDM" Prentice Hall, Englewood Cliffs, NJ 1986

(1986)

Languages mentioned