Fixes to references.bib

references.bib

@@ -8,7 +8,7 @@
 
 @Book(abrial2010modeling,
   Author	= {Abrial, Jean-Raymond},
-  Title		= {Modeling in {E}vent-{B}: System and Software Engineering},
+  Title		= {Modeling in {Event}-{B}: System and Software Engineering},
   Year		= 2010,
   Publisher	= {Cambridge University Press},
   Address	= {New York, NY, USA}
@@ -16,7 +16,7 @@
 
 @Book(carlsson1988sicstus,
   Author	= {Carlsson, Mats and Widen, Johan and Andersson, Johan and Andersson, Stefan and Boortz, Kent and Nilsson, Hans and Sj{\"o}land, Thomas},
-  Title		= {{SICS}tus Prolog User's Manual},
+  Title		= {{SICStus} Prolog User's Manual},
   Year		= 1988,
   Volume	= 3,
   Publisher	= {Swedish Institute of Computer Science},
@@ -37,7 +37,7 @@
 
 @InProceedings(leuschel2003prob,
   Author	= {Leuschel, Michael and Butler, Michael},
-  Title		= {ProB},
+  Title		= {{ProB}},
   Year		= 2003,
   Month		= sep,
   Booktitle	= {{FME} 2003: Formal Methods},