"LISP: Programming and Proving" by John McCarthy and Carolyn Talcott (1980)

• Posted 4 hours ago by mself
• 2 points