@book{135417,
	author = {Backhouse, Roland.},
	title = {Program construction : calculating implementations from specifications.},
	publisher = {Wiley},
	year = {2004},
	address = {N D}
}