Category Theory and Computer Science - Pitt, David (Lecture Notes in Computer Science Ser.)