@book{30532,
	author = {Backhouse, Roland C},
	title = {Program construction :},
	publisher = {Wiley,},
	year = {2003},
	address = {Chichester :}
}