@book{4025,
	author = {Dromey R. G},
	title = {How to solve it by computer},
	publisher = {Penram}
}