I'm a fan of Norvig's Paradigms of AI Programming which shows, among other things, how to build, in Lisp, programs that are modeled on Maxima's simplifer and integration programs. RJF