@book{20624,
	author = {Rydeheard, David E. and Burstall, Rod M.},
	title = {Computational category theory /},
	publisher = {Prentice Hall,},
	year = {1988},
	address = {New York :}
}