Systematic software development using VDM
Jones, C. B.(Cliff B.),1944-
Hemel Hempstead Prentice Hall International
1989
Includes bibliography and index
Computer software