1. AIKINS, J. 1980, Prototypes and production rules: a knowledge representation for computer consultations, Stanford University, STAN-CSD-80-814
2. AITKEN, S. 1996, An analysis of errors in interactive proof attempts, Dept. of Computer Science, Glasgow University
3. Learning to program recursive functions;ANDERSON,1988
4. BENTAL, D. 1995, Why doesn't my program work?: requirements for automated analysis of novices' computer programs, Proceedings of the Workshop on Automated Understanding of Novice Programs, World Conference on AI and Education (AIED), http://www.cs.mdx.ac.uk /staffpages /DBental /aiedpaper.html.
5. Supporting the learning of recursive problem solving;BHUIYAN;Interactive Learning Environments,1994