http://lambda-the-ultimate.org/node/3583 http://lambda-the-ultimate.org/node/3583 might be a good starting point assuming that an implementation of lambda calcu

http://lambda-the-ultimate.org/node/3583 http://lambda-the-ultimate.org/node/3583 might be a good starting point assuming that an implementation of lambda calculus qualifies as a LISP (it should).