Michael Lebowitz The Use of Memory in Text Processing. 1483-1502 1988 31 Commun. ACM 12 db/journals/cacm/cacm31.html#Lebowitz88