Ian A. Mason, Carolyn L. Talcott. Program Transformation via Contextual Assertions. In Neil D. Jones, Masami Hagiya, Masahiko Sato, editors, Logic, Language and Computation, Festschrift in Honor of Satoru Takasu. Volume 792 of Lecture Notes in Computer Science, pages 225-254, Springer, 1994.
Abstract is missing.