%0 Book
%A  D.E. Rydeheard, R.M. Burstall
%T Computational category theory /
%U /book/89993913/Computational-category-theory/