Paradigms of artificial intelligence programming case studies in common LISP - Norvig, Peter (Morgan Kaufmann, 1992)