Formal Languages and Compilation - Crespi Reghizzi (Springer London, 2013)