add bibtool resource file and run it

.bibtoolrsc

+print.line.length = 500
+print.align.key = 0
+preserve.key.case = true
+suppress.initial.newline = true
+sort.format = {%N(author)}
+print.parentheses = true
+
+rewrite.rule { "^\"\([^#]*\)\"$" # "{\1}" }
+rewrite.rule { pages # "\([0-9]+\)␣*-␣*\([0-9]+\)" # "\1--\2" }
+rewrite.rule { title # "^\{\([^\{][^#]*[^\}]\)\}$" # "{{\1}}" }

references.bib

-
-@Book{		  abrial1996b,
+@Book(abrial1996b,
   Author	= {Abrial, Jean-Raymond},
-  Title		= {The B-book: assigning programs to meanings},
+  Title		= {{The B-book: assigning programs to meanings}},
   Publisher	= {Cambridge University Press},
   Year		= 1996
-}
+)
 
-@Book{		  abrial2010modeling,
+@Book(abrial2010modeling,
   Author	= {Abrial, Jean-Raymond},
-  Title		= {Modeling in Event-B: system and software engineering},
+  Title		= {{Modeling in Event-B: system and software engineering}},
   Publisher	= {Cambridge University Press},
   Year		= 2010
-}
+)
 
-@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		= {SICStus Prolog user's manual},
+@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		= {{SICStus Prolog user's manual}},
   Publisher	= {Swedish Institute of Computer Science Kista, Sweden},
   Year		= 1988,
   Volume	= 3,
   Number	= 1
-}
+)
+
+@Article(leuschel2008prob,
+  Author	= {Leuschel, Michael and Butler, Michael},
+  Title		= {{ProB: an automated analysis toolset for the B method}},
+  Journal	= {International Journal on Software Tools for Technology Transfer},
+  Year		= 2008,
+  Volume	= 10,
+  Number	= 2,
+  Pages		= {185--203}
+)
 
-@InProceedings{	  leuschel2003prob,
+@InProceedings(leuschel2003prob,
   Author	= {Leuschel, Michael and Butler, Michael and others},
-  Title		= {ProB: A model checker for B},
+  Title		= {{ProB: A model checker for B}},
   Booktitle	= {FME},
   Year		= 2003,
   Volume	= 2805,
   Pages		= {855--874},
   Organization	= {Springer}
-}
-
-@Article{	  leuschel2008prob,
-  Author	= {Leuschel, Michael and Butler, Michael},
-  Title		= {ProB: an automated analysis toolset for the B method},
-  Journal	= {International Journal on Software Tools for Technology
-		  Transfer},
-  Year		= 2008,
-  Volume	= 10,
-  Number	= 2,
-  Pages		= {185--203}
-}
+)