Jones, Cliff B. Systematic software development using VDM / Cliff B. Jones - 2nd ed. - New york Prentice hall International (UK) Ltd n.d. - xiv, 333 p. Includes bibliography and index. ISBN: 9780138807337 Subjects--Topical Terms: Computer software - Development Dewey Class. No.: 005 / JON