Concurrent LISP based on lexical scope | IEEE Conference Publication | IEEE Xplore