Rich Craig A.; Slutzki Giora: The complexity of a counting finite state automaton. In: Acta cybernetica, (9) 4. pp. 403-417. (1990)