Yair Itzhaik Amiram Yehudai New Families of Non Real Time DPDA's and their Decidability Results. 255-274 1984 34 Theor. Comput. Sci. db/journals/tcs/tcs34.html#ItzhaikY84