"Automata and Algebras in Categories" - читать интересную книгу автора (Jirí Adámek, Vera Trnková)