@book{258631,
	author = {R G Dormey},
	title = {How to solve it by Computer},
	publisher = {PHI},
	year = {2002},
	edition = {1}
}