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