Automata and Algebras in Categories (1990)

by J Adámek, V Trnková