A categorical manifesto (1991)

by Joseph Goguen
Venue:Mathematical Structures in Computer Science