@Book{	          KeYbook2:16,
  title	        = {Deductive Software Verification: Future Perspectives---Reflections on the Occasion of 20 Years of KeY},
  editor	= {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H\"ahnle
                   and Mattias Ulbrich},
  year		= {2021},
  volume        = {12345},
  series        = {LNCS},
  publisher     = {Springer},
  doi="10.1007/978-3-030-64354-6",
  url="http://dx.doi.org/10.1007/978-3-030-64354-6",
}