Gada F. Kadoda, Roger G. Stone, Dan Diaper. Desirable features of educational theorem provers - a cognitive dimensions viewpoint. In Proceedings of the 11th Annual Workshop of the Psychology of Programming Interest Group, PPIG 1999, Leeds, UK, January 5-7, 1999. pages 4, Psychology of Programming Interest Group, 1999. [doi]