@phdthesis{Pie12,
title = {Tirex : a textual target-level intermediate representation },
author = {Pietrek, Artur},
month = {October},
year = {2012},
school = {Universit\'{e} de Grenoble},
team = {DCS},
}