Text this: Formal languages and compilation / Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti.