1. Definable operations in general algebras, and the theory of automata and flowcharts;Bekić,1969
2. Mathematische Theorie des Verhaltens endlicher Automaten;Büchi;Z. Angew. Math. Mech.,1962
3. Les arbres á feuilles indicées: un cadre algébrique pour l'étude des structures de contrôle;Cousineau,1977
4. The IO- and OI-hierarchies;Damm;Theoret. Comput. Sci.,1982
5. Automata in general algebras;Eilenberg;Information and Control,1967