Michael Beeson. Design principles of Mathpert: software to support education in algebra and calculus. In Norbert Kajler, editor, Computer-Human Interaction in Symbolic Computation. Texts and Monographs in Symbolic Computation, pages 163-177, Springer, 1998. [doi]
Abstract is missing.