Index: doc/theses/colby_parsons_MMAth/local.bib
===================================================================
--- doc/theses/colby_parsons_MMAth/local.bib	(revision 9a5a2cdc435217305712b25a2414e6794bc76b06)
+++ doc/theses/colby_parsons_MMAth/local.bib	(revision 1689ecf4f665fd3c5e311b819f5411e3eae5fa05)
@@ -31,5 +31,5 @@
 @phdthesis{Delisle22,
 author={{Delisle, Thierry}},
-title={The C∀ Scheduler},
+title={The \textsf{C}$\mathbf{\forall}$ Scheduler},
 year={2022},
 publisher="UWSpace",
@@ -50,5 +50,5 @@
 @mastersthesis{Beach21,
 author={{Beach, Andrew James}},
-title={Exception Handling in C∀},
+title={Exception Handling in \textsf{C}$\mathbf{\forall}$},
 year={2021},
 publisher="UWSpace",
Index: doc/theses/colby_parsons_MMAth/text/channels.tex
===================================================================
--- doc/theses/colby_parsons_MMAth/text/channels.tex	(revision 9a5a2cdc435217305712b25a2414e6794bc76b06)
+++ doc/theses/colby_parsons_MMAth/text/channels.tex	(revision 1689ecf4f665fd3c5e311b819f5411e3eae5fa05)
@@ -79,8 +79,5 @@
 Due to Go's asymmetric approach to channel shutdown, separate synchronization between producers and consumers of a channel has to occur during shutdown.
 
-In \CFA, exception handling is an encouraged paradigm and has full language support \cite{}.
-% \cite{Beach21}. 
-TODO: this citation breaks when compiled. 
-Need to fix and insert above
+In \CFA, exception handling is an encouraged paradigm and has full language support \cite{Beach21}.
 As such \CFA uses an exception based approach to channel shutdown that is symmetric for both producers and consumers, and supports graceful shutdown.Exceptions in \CFA support both termination and resumption.Termination exceptions operate in the same way as exceptions seen in many popular programming languages such as \CC, Python and Java.
 Resumption exceptions are a style of exception that when caught run the corresponding catch block in the same way that termination exceptions do.