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

A Computer Environment for Writing Ordinary Mathematical Proofs. - David McMath; Marianna Rozenfeld; Richard Sommer (LPAR, 2001)