@book{144405,
	author = {Jones, C. B.},
	title = {Systematic software development using VDM /},
	publisher = {Prentice Hall International,},
	year = {c1986.},
	address = {Englewood Cliffs, N.J. :},
	note = {Includes index.}
}