Sysmbolic computing with lisp - Cameron, Robert D & Dixon, Anthony H (Perentice Hall, New Jersey, 1992)