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