Techniques for Searching, Parsing, and Matching - Pettorossi, Alberto (Cham Springer International Publishing AG, 2022)