Полная версия: John McCarthy, Recursive Functions of Symbolic Expressions and Their Computation by Machine

Краткая выжимка: http://swizec.com/blog/the-birth-of-lisp-a-summary-of-john-mccarthys-original-paper/swizec/5075

Что интересно: год 1959-1960, а уже описаны: сборик мусора, частичное применение функций, логическое программирование, рекурсия, рекурсивные определения функций (по сути, если смотреть на пример, паттерн-матчинг).

Любителям компьютерной истории будет интересно