--- a/ChengsongTanPhdThesis/Chapters/Introduction.tex	Tue Nov 22 12:50:04 2022 +0000
+++ b/ChengsongTanPhdThesis/Chapters/Introduction.tex	Sat Nov 26 16:18:10 2022 +0000
@@ -703,7 +703,7 @@
 Therefore, we take correctness and runtime claims made about these solutions
 with a grain of salt.
 
-In the work reported in \cite{CSL2022} and here, 
+In the work reported in \cite{FoSSaCS2023} and here, 
 we add better support using derivatives
 for bounded regular expressions $r^{\{n\}}$.
 The results
@@ -909,7 +909,7 @@
 used by Linux and OS X distributions) contain bugs
 or do not meet the specification they claim to adhere to.
 Kuklewicz maintains a unit test repository which lists some
-problems with existing regular expression engines \ref{KuklewiczHaskell}.
+problems with existing regular expression engines \cite{KuklewiczHaskell}.
 In some cases, they either fail to generate a
 result when there exists a match,
 or give results that are inconsistent with the POSIX standard.