[nextos]

Peter Norvig's PAIP book has a chapter devoted to Student, a computer algebra system. It's very didactic:

http://norvig.com/paip/student.lisp