Substitution Revisited, Theoretical Computer Science 59 (1988)

by A Stoughton
Venue:Automatic Construction of Verification Condition Generators from Hoare Logics, in Automata, Languages and Programming, Eighth Colloquium