Monien, Burkhard: Relationships between pushdown automata with counters and complexity classes. . In: Mathematical systems theory. Jg.9.1975 H. No. 3, S.248264