LISP, lore and logic : An algebraic view of LISP programming, foundations and applications - Stark, Richard W (Springer Verlag, 1990)