de Medeiros Santos. Compilation by Transformation in Non-Strict Functional Languages (1995)