References for Lisp, Elisp, and Regular Expressions.

thesis.bib

@@ -787,6 +787,29 @@
  publisher = {Institut National de Recherche en Informatique et en Automatique}
 }
 
+# Lisp
+@article{McCarthy60,
+  author    = {John McCarthy},
+  title     = {Recursive Functions of Symbolic Expressions and Their Computation
+               by Machine, Part {I}},
+  journal   = {Commun. {ACM}},
+  volume    = {3},
+  number    = {4},
+  pages     = {184--195},
+  year      = {1960}
+}
+
+# Elisp
+@book{LewisLSG20,
+  author = {Bil Lewis and Dan {LaLiberte} and Richard Stallman and {the GNU Manual Group} and {et al.}},
+  title = {{GNU} {Emacs} {Lisp} Reference Manual},
+  year  = 2020,
+  note  = {For {Emacs} version 27.1},
+  publisher = {Free Software Foundation},
+  address = {Boston, MA, USA},
+  isbn = {1882114744}
+}
+
 # Scheme
 @techreport{SussmanS75,
   author = {Gerald Jay Sussman and Guy Lewis Steele Jr.},
@@ -853,7 +876,7 @@
  year   = 2010
 }
 
-# Timeless classics
+# Structural Operational Semantics
 @article{Plotkin04a,
   author    = {Gordon D. Plotkin},
   title     = {A structural approach to operational semantics},
@@ -866,6 +889,18 @@
   bibsource = {dblp computer science bibliography, https://dblp.org}
 }
 
+# Regular expressions
+@incollection{Kleene56,
+  author = {Stephen Cole Kleene},
+  title = {Representation of events in nerve nets and finite automata},
+  booktitle = {Automata Studies},
+  editor = {Shannon, Claude and McCarthy, John},
+  pages = {3--41},
+  year = 1956,
+  publisher = {Princeton University Press},
+  address = {Princeton, NJ, USA}
+}
+
 # Felleisen's PhD thesis (evaluation contexts)
 @phdthesis{Felleisen87,
   author = {Matthias Felleisen},