@book{915,
	author = {Woodman, Mark.},
	title = {Introduction to VDM / Mark Woodman and Benedict Heal.},
	publisher = {London ; New York : McGraw Hill Book Co., c1993.},
	address = {London ; New York : McGraw Hill Book Co., c1993.}
}