M Archer, A Lo, RA Olsson - Software Testing, Verification and …, 1999 - Wiley Online Library
Although most typically used in other contexts, program transformations can simplify
program verification by transforming a program containing complex language features into a …