Category theory and computer programming. Tutorial and workshop : Proceedings, Guilford, U. K., Sept. 16 - 20, 1985 - Pitt, David (Lecture notes in computer science, 1986)