A Categorical Manifesto (1991)

by J Goguen
Venue:Mathematical Structures in Comp. Sci