V.: Automata and algebras in categories (1990)

by J Adámek, Trnková