The new UCI LISP manual (Erlbaum Assoc., 1979)