@book{2345,
	author = {R. Bird and O. D. Moore},
	title = {Algebra of Programming},
	publisher = {PHI},
	year = {1998},
	address = {New Delhi}
}