1. Some thoughts on the next generator of programming languages;Wulf,1977
2. Social Processes and Proofs of Theorems and Programs;DeMillo;Comm. ACM,1979
3. Principles of Artificial Intelligence;Nilsson,1980
4. Empirical explorations of the logical theory machine;Newell,1963
5. Computer Based Medical Consultations: MYCIN;Shortliffe,1976