LISP, Lore and logic: an algebraic view of Lisp programming, foundations and applications - Stark, W Richard (1990)