Minimal realization of machines in closed categories (1972)

by J GOGUEN
Venue:Bulletin of the American Mathematical Society