Anne Adam Paul Y. Gloess Jean-Pierre H. Laurent An Interactive Tool for Program Manipulation. 460- 1981 ICSE db/conf/icse/icse81.html#AdamGL81