@book{258320,
	author = {R G Dormey},
	title = {How to solve it by Computer},
	publisher = {PHI},
	year = {2001},
	edition = {17}
}