@book{31607,
	author = {Bird, Richard and De Moor, Oege},
	title = {Algebra of programming},
	publisher = {Prentice-Hall},
	year = {1998},
	address = {New Delhi}
}