Formal Languages and Compilation - Crespi-Reghizzi, Stefano; Breveglieri, Luca; Morzenti, Angelo (Springer London, 2013)