Michael Sperber Peter Thiemann The Essence of LR Parsing. 146-155 1995 PEPM db/conf/pepm/pepm95.html#SperberT95