LISP , Lore and logic. - Stark, Richard W. (Springer- Verlag, 1989)