LAURA, A System to Debug Student Programs. - Anne Adam; Jean-Pierre H. Laurent (Artif. Intell., 1980)

An Interactive Tool for Program Manipulation. - Anne Adam; Paul Y. Gloess; Jean-Pierre H. Laurent (ICSE, 1981)