Successful pedagogical applications of symbolic computation. - Raymond Ravaglia; Theodore Alper; Marianna Rozenfeld; Patrick Suppes (Computer-Human Interaction in Symbolic Computation, 1998)