Jerry Goldman Steven Homer Quadratic Automata. 180-196 1982 24 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss24.html#GoldmanH82