Some details on Lucid Lisp are given in papers in the 1986 Lisp and Functional Programming Conference proceedings. The bignum implementation has a paper of its own. I also recall an article on a RISC implementation in a recent (last year and a half) IEEE Computer or Software. Dan Rabin