Andrzej Ehrenfeucht Joost Engelfriet Grzegorz Rozenberg Context Free Normal Systems and ETOL Systems. 34-46 1983 26 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss26.html#EhrenfeuchtER83