@book{809,
	author = {Dromey,R.G.},
	title = {How to solve it by computer},
	year = {2004}
}