Index: doc/theses/colby_parsons_MMAth/local.bib
===================================================================
--- doc/theses/colby_parsons_MMAth/local.bib	(revision c9019ce9baa8a8b2d2de47644af67760b22dca5d)
+++ doc/theses/colby_parsons_MMAth/local.bib	(revision c5e2a841e6dd9d3254e24d08afea8c55ff12982d)
@@ -27,31 +27,4 @@
   pages={11--20},
   year={2017}
-}
-
-@phdthesis{Delisle22,
-author={{Delisle, Thierry}},
-title={The \textsf{C}$\mathbf{\forall}$ Scheduler},
-year={2022},
-publisher="UWSpace",
-url={http://hdl.handle.net/10012/18941}
-}
-
-@article{Hoare78,
-  title={Communicating sequential processes},
-  author={Hoare, Charles Antony Richard},
-  journal={Communications of the ACM},
-  volume={21},
-  number={8},
-  pages={666--677},
-  year={1978},
-  publisher={ACM New York, NY, USA}
-}
-
-@mastersthesis{Beach21,
-author={{Beach, Andrew James}},
-title={Exception Handling in \textsf{C}$\mathbf{\forall}$},
-year={2021},
-publisher="UWSpace",
-url={http://hdl.handle.net/10012/17617}
 }