Seymour Ginsburg Gene F. Rose The Equivalence of Stack Counter Acceptors and Quasi-Realtime Acceptors. 243-269 1974 8 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss8.html#GinsburgR74