LISP LORE AND LOGIC: AN ALGEBRAIC VIEW OF LISP PROGRAMMING, FOUNDATIONS AND APPLICATIONS - STARK,W RICHARD (SV NEW YORK, 1990)
BR-738