A Junction between Computer Science and Category Theory (1976)

by J A Goguen, J W Thatcher, E G Wagner, J B Wright
Venue:I Basic Concepts and Examples, Part 1, IBM Report RC-4526 (September 1973); Part 2, IBM Report RC-5908