Systematic software development using VDM
Jones, C. B.(Cliff B.),1944-
Englewood Cliffs London Prentice-Hall
c1986
Bibliography: p294-296. - Includes index
Computer software