@book{51445,
	author = {"Backhouse, Roland C"},
	title = {Program Construction and Verification},
	address = {Prentice Hall },
	edition = {\\198600ENGGPS000},
	note = {includes index and biblioraphy}
}