Matti Linna A Decidability Result for Deterministic <i>omega</i>-Context-Free Languages. 83-98 1977 4 1 Theor. Comput. Sci. db/journals/tcs/tcs4.html#Linna77