Jones, Cliff B. Systematic software development using Vdm / Cliff B. Jones - New Jersey Prentice-Hall/ International 1986 - xvi, 300 p. Includes appendix, glossary and index. ISBN: 138807175 Subjects--Topical Terms: Computer software-Development Dewey Class. No.: 005.1 / JON