Formal languages and compilation - Reghizzi, Stefano Crespi (Springer, 2012)