Richard C. Waters The Programmer's Apprentice: Knowledge Based Programm Editing. [Citation Graph (1, 0)][DBLP] IEEE Trans. Software Eng., 1982, v:8, n:1, pp:1-12 [Journal]
Abha Moitra Direct Implementation of Algebraic Specification of Abstract Data Types. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1982, v:8, n:1, pp:12-20 [Journal]
Jerald Schwarz Using Annotations to Make Recursion Equations Behave. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1982, v:8, n:1, pp:21-33 [Journal]
Robert L. Probert Optimal Insertion of Software Probes in Well-Delimited Programs. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1982, v:8, n:1, pp:34-42 [Journal]