Jacob Katzenelson The Markov Algorithm as a Language Parser - Linear Bounds. 465-478 1972 6 J. Comput. Syst. Sci. 5 db/journals/jcss/jcss6.html#Katzenelson72