1

Buchanan, B.G., Feigenbaum, E.A., and Srid: haran, N,S. Heuristic theory formation: data interpretation and rule formation. In Machine Intelligence 7, Edinburgh U. Press, Edinburgh 1972.

2

Edsger W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, v.18 n.8, p.453-457, Aug. 1975  [doi>10.1145/360933.360975]

3

Newell, A. Studies in problem solving: subject 3 on the cryptarithmetic task: DONALD + GER- ALD - ROBERT. Carnegie-Mellon U., 1967.

4

Allen Newell, Human Problem Solving, Prentice-Hall, Inc., Upper Saddle River, NJ, 1972

5

Shortliffe, D.A. An artificial intelligence program to advise physicians regarding antimicrobial therapy. Computers and Biomedical Research 6 (1973), 544-560.

6

Waterman, D.A. Generalization learning techniques for automating the learning of heuristics. Artificial Intelligence 1, 1 and 2 (1970).

7

Waterman, D.A. Adaptive production systems. Complex Information Processing Working Paper 285, Carnegie-Mellon U., 1974.

George E. Heidorn, Natural Language Dialogue For Managing An On-Line Calendar, Proceedings of the 1978 annual conference, p.45-52, December 04-06, 1978, Washington, D.C., United States