@Book{	          KeYbook2:16,
  title	        = {Deductive Software Verification---The Ke\kern-0.1emY Book},
  editor	= {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H\"ahnle
                   and Peter~H. Schmitt and Mattias Ulbrich},
  year		= {2016},
  volume        = {10001},
  series        = {LNCS},
  publisher     = {Springer},
  doi="10.1007/978-3-319-49812-6",
  url="http://dx.doi.org/10.1007/978-3-319-49812-6",
}