Brad A. Myers Creating User Interfaces Using Programming by Example, Visual Programming, and Constraints. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1990, v:12, n:2, pp:143-177 [Journal]
Edgar Knapp An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1990, v:12, n:2, pp:203-223 [Journal]
Jared L. Darlington Search Direction by Goal Failure in Goal-Directed Programming. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1990, v:12, n:2, pp:224-252 [Journal]