Pattern Matching Algorithms - Alberto Apostolico; Zvi Galil (1997)