Text this: Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings / edited by David Pitt [and others].