A categorical manifesto (1991)

by J A Goguen
Venue:Mathematical Structures in Computer Science