Amiram Yehudai A Hierarchy of Real-Time Deterministic Languages and Their Equivalence. 91-100 1982 24 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss24.html#Yehudai82