E.G.: Machines in a category (1980)

by M A Arbib, Manes
Venue:Journal of Pure and Applied Algebra