A Haskell Implementation of a Rule-Based Program Transformation for C Programs. - Tamarit, Salvador; Vigueras, Guillermo; Carro, Manuel; Mariño, Julio (2015)