A categorical manifesto (1991)

by Joseph A. Goguen
Venue:Mathematical Structures in Computer Science