1. Equations and rewrite rules: a survey;Huet,1980
2. Learning programming as a cognitive apprenticeship through conflicts;Arzarello,1993
3. The Architecture of Cognition;Anderson,1983
4. A cognitive model of planning;Hayes-Roth;Cognitive Sci.,1979
5. Repair theory: a generative theory or bugs in procedural skills;Brown;Cognitive Sci.,1980