Analysis and specialisation of imperative programs : an approach using CLP. - Julio C. Peralta Estrada (2000)