Systematic Software Development Using VDM - Jones, C.B. (Newyork Prentice Hall, 1990)
Keywords: Systematic Software Development; Software Development; VDM