Title: Exploring RANDOMNESS / Edition 1, Author: Gregory J. Chaitin
Title: VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995, Author: Joshua D. Guttman
Title: Computer Algebra with LISP and REDUCE: An Introduction to Computer-aided Pure Mathematics / Edition 1, Author: F. Brackx
Title: LISP-STAT: An Object-Oriented Environment for Statistical Computing and Dynamic Graphics / Edition 1, Author: Luke Tierney
Title: Inside Case-Based Reasoning / Edition 1, Author: Christopher K. Riesbeck
Title: Artificial Intelligence Programming / Edition 2, Author: Eugene Charniak
Title: LISP Lore: A Guide to Programming the LISP Machine / Edition 2, Author: H. Bromley