@book{23139,
	author = {Backhouse, Roland C.},
	title = {Program construction},
	publisher = {Wiley},
	year = { 2003},
	address = {England}
}