Coherent Minimisation: Towards efficient tamper-proof compilation - Dan R. Ghica; Zaid Al-Zobaidi (ICE, 2012)

Coherent minimisation : aggressive optimisation for symbolic finite state transducers. - Zaid Al-Zobaidi (2014)