Enviar aquest missatge de text: Reasoning about program transformations : imperative programming and flow of data / Jean-François Collard.