@book{2321,
	author = {Casey, Chris},
	title = {A programming approach to formal methods / Chris Casey.},
	address = {Mcgraw Hill}
}