Index: doc/theses/colby_parsons_MMAth/local.bib
===================================================================
--- doc/theses/colby_parsons_MMAth/local.bib	(revision 6da4cbbc55c54f695e0b580ed7ccd6795995cbd2)
+++ doc/theses/colby_parsons_MMAth/local.bib	(revision 432e1dee719302fb02135caaa450c7f30902b3f4)
@@ -22,5 +22,5 @@
 
 @inproceedings{wolke17,
-  title={Locality-guided scheduling in caf},
+  title={Locality-Guided Scheduling in {CAF}},
   author={W{\"o}lke, Sebastian and Hiesgen, Raphael and Charousset, Dominik and Schmidt, Thomas C},
   booktitle={Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control},
@@ -30,5 +30,5 @@
 
 @article{Roscoe88,
-  title={The laws of occam programming},
+  title={The Laws of {OCCAM} Programming},
   author={Roscoe, Andrew William and Hoare, Charles Antony Richard},
   journal={Theoretical Computer Science},
@@ -41,5 +41,5 @@
 
 @article{Pike84,
-  title={The UNIX system: The blit: A multiplexed graphics terminal},
+  title={The UNIX System: The {Blit}: A Multiplexed Graphics Terminal},
   author={Pike, Rob},
   journal={AT\&T Bell Laboratories Technical Journal},
@@ -52,5 +52,5 @@
 
 @inproceedings{Dice11,
-  title={Brief announcement: multilane-a concurrent blocking multiset},
+  title={Brief Announcement: Multilane-a Concurrent Blocking Multiset},
   author={Dice, David and Otenko, Oleksandr},
   booktitle={Proceedings of the twenty-third annual ACM symposium on Parallelism in algorithms and architectures},
@@ -151,5 +151,5 @@
 
 @article{Ichbiah79,
-  title={Preliminary Ada reference manual},
+  title={Preliminary Ada Reference Manual},
   author={Ichbiah, Jean D},
   journal={ACM Sigplan Notices},
@@ -169,5 +169,5 @@
 
 @techreport{wilson94,
-  title={The suif compiler system: a parallelizing and optimizing research compiler},
+  title={The {SUIF} Compiler System: a Parallelizing and Optimizing Research Compiler},
   author={Wilson, Robert and French, Robert and Wilson, Christopher and Amarasinghe, Saman and Anderson, Jennifer and Tjiang, Steve and Liao, Shih-Wei and Tseng, Chau-Wen and Hall, Mary and Lam, Monica and others},
   year={1994},
@@ -190,5 +190,5 @@
 
 @inproceedings{Doherty04,
-  title={DCAS is not a silver bullet for nonblocking algorithm design},
+  title={DCAS is Not a Silver Bullet for Nonblocking Algorithm Design},
   author={Doherty, Simon and Detlefs, David L and Groves, Lindsay and Flood, Christine H and Luchangco, Victor and Martin, Paul A and Moir, Mark and Shavit, Nir and Steele Jr, Guy L},
   booktitle={Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures},