Reasoning about program transformations by Jean-François Collard | Menrva Books