@book{12765,
	author = {Richard Bird and Oege Moor},
	title = {Algebra of Programming}
}