An algebra of additive relations (1961)

by S Mac Lane
Venue:Proceedings of the National Academy of Sciences, 47:1043–1051