Category Theory and Computer Science - Pitt D.H. (New York Springer Verlag, 1991)