Program transformation via contextual assertions (1994)

by I A Mason, C L Talcott
Venue:In Logic, Language and Computation. Festschrift in Honor of Satoru Takasu