Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings (Paperback, 1986)