@book{23767,
	author = { Chris Casey},
	title = {A Programming Approach To Formal Methods},
	publisher = { Mcgraw-Hill International (Uk) Limited},
	year = {©1994}
}