Tat-hung Chan Pushdown Automata with Reversal-Bounded Counters. 269-291 1988 37 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss37.html#Chan88