diff --git a/compsci.bib b/compsci.bib
index 6a69314..3deb6c8 100644
--- a/compsci.bib
+++ b/compsci.bib
@@ -95,6 +95,24 @@
 	year = {1975}
 }
 
+@InProceedings{doczal2013constructive,
+	pages = {82--97},
+	booktitle = {International Conference on Certified Programs and Proof},
+	year = {2013},
+	title = {A constructive theory of regular languages in Coq},
+	author = {Doczkal, Christian and Kaiser, Jan-Oliver and Smolka, Gert}
+}
+
+@Article{doczkal2018regular,
+	pages = {521--553},
+	number = {1},
+	volume = {61},
+	year = {2018},
+	journaltitle = {Journal of Automated Reasoning},
+	title = {Regular language representations in the constructive type theory of Coq},
+	author = {Doczkal, Christian, and Smolka, Gert}
+}
+
 @Article{gilbert2002brewer,
 	pages = {51--59},
 	number = {2},
@@ -216,6 +234,14 @@
 	author = {Ungar, David and Kimelman, Doug and Adams, Sam}
 }
 
+@InProceedings{yannakakis2000hierarchical,
+	pages = {315--330},
+	booktitle = {IFIP International Conference on Theoretical Computer Science},
+	year = {2000},
+	title = {Hierarchical state machines},
+	author = {Yannakakis, Mihalis}
+}
+
 @Comment{
 Local Variables:
 bibtex-dialect: biblatex
diff --git a/morphology.bib b/morphology.bib
index f63f6c2..6fd935f 100644
--- a/morphology.bib
+++ b/morphology.bib
@@ -731,6 +731,16 @@
 	title = {A functional theory of gender paradigms}
 }
 
+@Article{eddington2000analogy,
+	pages = {281--298},
+	number = {4},
+	volume = {110},
+	year = {2000},
+	journaltitle = {Lingua},
+	title = {Analogy and the dual-route model of morphology},
+	author = {Eddington, David}
+}
+
 @Unpublished{eddington2002plurals,
 	keywords = {plurals},
 	file = {Documents/reading/morphology/eddington2002plurals.pdf},
@@ -1157,6 +1167,17 @@
 	year = {2003}
 }
 
+@Article{keuleers2007memory,
+	pages = {151--174},
+	number = {2},
+	volume = {6},
+	year = {2007},
+	journaltitle = {Lingue e linguaggio},
+	subtitle = {A methodological case-study},
+	title = {Memory-based learning models of inflectional morphology},
+	author = {Keuleers, Emmanuel and Daelemans, Walter}
+}
+
 @Article{kinkade1963phonology,
 	pages = {345--356},
 	number = {4},
diff --git a/psycholinguistics.bib b/psycholinguistics.bib
index b316d13..dbf0d37 100644
--- a/psycholinguistics.bib
+++ b/psycholinguistics.bib
@@ -366,6 +366,16 @@
 	publisher = {Elsevier}
 }
 
+@Article{kalashnikova2018acceptance,
+	pages = {1517--1530},
+	number = {6},
+	volume = {23},
+	year = {2018},
+	journaltitle = {International Journal of Bilingualism},
+	title = {Acceptance of lexical overlap by monolingual and bilingual toddlers},
+	author = {Kalashnikova, Marina and Oliveri, Aimee and Mattock, Karen}
+}
+
 @incollection{lashley1951problem,
 	title = {The problem of serial order in behavior},
 	author = {Lashley, Karl Spencer},
diff --git a/semantics.bib b/semantics.bib
index 3a3d8ae..bfd0804 100644
--- a/semantics.bib
+++ b/semantics.bib
@@ -80,6 +80,25 @@
 	school = {New York University}
 }
 
+@InProceedings{chatzikyriakidis2013adjectives,
+	pages = {159--174},
+	booktitle = {Formal Grammar},
+	year = {2013},
+	title = {Adjectives in a modern type-theoretical setting},
+	author = {Chatzikyriakidis, Stergios and Luo, Zhaohui}
+}
+
+@Article{chatzikyriakidis2017adjectival,
+	pages = {45--88},
+	number = {1},
+	volume = {26},
+	year = {2017},
+	journaltitle = {Journal of Logic, Language and Information},
+	subtitle = {The view from modern type theories},
+	title = {Adjectival and adverbial modification},
+	author = {Chatzikyriakidis, Stergios and Luo, Zhaohui}
+}
+
 @book{chierchia1990meaning,
 	title = {Meaning and Grammar},
 	author = {Chierchia, Emmanuel and McConnell-Ginet, Sally},
@@ -198,6 +217,25 @@
 	author = {Kamp, Hans}
 }
 
+@Article{kamp1995prototype,
+	pages = {129--191},
+	number = {2},
+	volume = {57},
+	year = {1995},
+	journaltitle = {Cognition},
+	title = {Prototype theory and compositionality},
+	author = {Kamp, Hans and Partee, Barbara}
+}
+
+@InBook{kamp2013two,
+	pages = {225--261},
+	booksubtitle = {Selected papers of Hans Kamp},
+	booktitle = {Meaning and the dynamics of interpretation},
+	author = {Kamp, Hans},
+	year = {2013},
+	title = {Two theories about adjectives}
+}
+
 @inbook{kaplan1989demonstratives,
 	title = {Demonstratives},
 	booktitle = {Themes from Kaplan},
@@ -228,6 +266,16 @@
 	author = {Katz, Jerrold J. and Fodor, Jerry A.}
 }
 
+@Article{kennedy2005scale,
+	pages = {345--381},
+	number = {2},
+	volume = {81},
+	year = {2005},
+	journaltitle = {Language},
+	title = {Scale structure, degree modification, and the semantics of gradable predicates},
+	author = {Kennedy, Christopher and McNally, Louise}
+}
+
 @InBook{kennedy2013chris,
 	pages = {347--360},
 	booktitle = {Routledge Companion to Philosophy of Language},
@@ -417,6 +465,25 @@
 	publisher = {Springer}
 }
 
+@InBook{partee2007compositionality,
+	pages = {145--161},
+	booktitle = {Cognitive Foundations of Interpretation},
+	author = {Partee, Barbara},
+	year = {2007},
+	subtitle = {The dynamics of adjective meaning},
+	title = {Compositionality and coercion in semantics}
+}
+
+@InBook{partee2010privative,
+	pages = {273--285},
+	booksubtitle = {Essays Offered to Hans Kamp},
+	booktitle = {Presuppositions and Discourse},
+	author = {Partee, Barbara},
+	year = {2010},
+	subtitle = {Subsective plus coercion},
+	title = {Privative adjectives}
+}
+
 @incollection{plummer2012agnostic,
 	title = {Agnostic possible worlds semantics},
 	author = {Plummer, Andrew and Pollard, Carl},
@@ -485,6 +552,14 @@
 	author = {Ranta, Aarne}
 }
 
+@Unpublished{retore2014type,
+	url = {https://arxiv.org/pdf/1301.4938},
+	year = {2014},
+	subtitle = {The {M}ontagovian generative lexicon},
+	title = {A type theoretical framework for natural language semantics},
+	author = {Retoré, Christian}
+}
+
 @InProceedings{roberts1996information,
 	pages = {91--136},
 	volume = {49},