David H. Pitt David E. Rydeheard Peter Dybjer Andrew M. Pitts Axel Poigné Category Theory and Computer Science Lecture Notes in Computer Science 389 Springer 1989 3-540-51662-X db/conf/ctcs/ctcs89.html