LISP Programming and proving - McCarthy, John 1927-2011; Talcott, Carolyn L. (Stanford Univ., 1978)