3 books
More Efficient Bottom-Up Multipattern Matching in Trees
New Theoretical and Computational Results for Regular Languages
Data Structure Choice / Formal Differentiation. by Ssu-Cheng Liu and Robert Paige