W. Teitelman

• BBN-LISP TENEX reference manual