R. Nigel Horspool Michael R. Levy Correctness of an Extended Operator-Precedence Parsing Algorithm. 265-273 1987 24 Inf. Process. Lett. 4 db/journals/ipl/ipl24.html#HorspoolL87 http://dx.doi.org/10.1016/0020-0190(87)90146-3