1. Machine verification of mathematical proof;Abrahams,1963
2. Intelligent on-line assistant and tutor system;Ash,1977
3. Computers and early learning;Banet,1978
4. The computer as tutorial laboratory: the Stanford BIP Project;Barr;International Journal of Man Machine Studies,1976
5. A knowledge based system for automatic program construction;Barstow,1977