@book{6337,
	title = {The deductive foundations of computer programming},
	address = {ADDISON-WESLEY}
}