Martin P. Ward. The Formal Transformation Approach to Source Code Analysis and Manipulation. In 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 10 November 2001, Florence, Italy. pages 187-195, IEEE Computer Society, 2001. [doi]
Abstract is missing.