Automata and algebras in categories - Adámek, Jiří (Kluwer Academic Publishers, 1990)