@InCollection{    Huismanetal16,
  author        = {Marieke Huisman and Wolfgang Ahrendt and Daniel Grahl and Martin Hentschel},
  title         = {Formal Specification with the {Java Modeling Language}},
  booktitle     = {Deductive Software Verification---The Ke\kern-0.1emY Book},
  series	= "LNCS",
  year		= {2016},
  volume        = {10001},
  publisher     = "Springer"
}