UTLISP Version 5 Reference Manual. CDC 6000 / Cyber 170. (Computation Center, The Univ. of Texas, 1983)