"LISP: Programming and Proving" by John McCarthy and Carolyn Talcott (1980) | Dark Hacker News