%0 Book
%A David E. Rydeheard, Rod M. Burstall
%T Computational category theory
%U /book/68379448/Computational-category-theory/