Petković, T. et al. 1998. Decompositions of automata and transition semigroups. Acta Cybernetica. 13, 4 (Jan. 1998), 385–403.