"Reasoning about Program Transformations" - читать интересную книгу автора (Jean-Francois Collard)