***

Lisp
 https://en.wikipedia.org/wiki/Lisp_(programming_language)

Scheme
 https://en.wikipedia.org/wiki/Scheme_(programming_language)

Racket
 https://en.wikipedia.org/wiki/Racket_(programming_language)
 https://racket-lang.org/

***

John McCarthy
 https://en.wikipedia.org/wiki/John_McCarthy_(computer_scientist)
 http://www-formal.stanford.edu/jmc/

McCarthy, J. 1960. Recursive functions of symbolic expressions and their computation by machine. Communications of the ACM 3(4):184-195.
 http://www-formal.stanford.edu/jmc/recursive.html

McCarthy, J. 1963a A basis for a mathematical theory of computation. In Computer Programming and formal systems. North-Holland.
 http://www-formal.stanford.edu/jmc/basis.html