A categorical manifesto (1991)

by J Goguen
Venue:Mathematical Structures in Computer Science