1. Informality in program specifications;Balzer,1977
2. A knowledge-based system for automatic program construction;Barstow,1977
3. Multiple representations of knowledge for tutorial reasoning;Brown,1975
4. Overlays: a theory of modelling for computer aided instruction;Carr;MIT Al Laboratory Memo 406, Cambridge, MA,1977
5. Wusor II: a computer aided instruction program with student modelling capabilities;Carr;MIT Artificial Intelligence Laboratory Memo 417, Cambridge, MA,1977