Sheila A. Greibach One Counter Languages and the IRS Condition. 237-247 1975 10 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss10.html#Greibach75