Techniques for Searching, Parsing, and Matching - Alberto Pettorossi (Springer, 2021)