@book{3858,
	author = { Andrews,derek },
	title = {Practical formal methods with vdm },
	address = { Mcgraw hill }
}