Ramos Gutiérrez, Guillermo (2015). Implementing a term rewriting engine for the EasyCrypt framework. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).