@book{19890,
	author = {Hoare,  C. A. R. and  Shepherdson,  J. C.},
	title = {Mathematics logic and programming languages. /}
}