Reasoning about Program Transformations door Jean-Francois Collard