Rich, C.A. and Slutzki, G. 1990. The complexity of a counting finite state automaton. Acta Cybernetica. 9, 4 (Jan. 1990), 403-417.