D.: Desirable features of educational theorem provers: A Cognitive Dimensions viewpoint (1996)

by G Kadoda, R Stone, Diaper
Venue:In: Proceedings of the 11th Annual Workshop of the Psychology of Programming Interest Group