Tiko Kameda Pushdown Automata with Counters. 138-150 1972 6 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss6.html#Kameda72