Pushdown automata with counters - Kameda, Tiko (GMD, 1970)