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