Alfred V. Aho; Monica S. Lam; Ravi Sethi; Jeffrey D. Ullman