A junction between computer science and category theory, I: Basic concepts and examples (part 2 (1976)

by Joseph Goguen, James Thatcher, Eric Wagner, Jesse Wright