@Book{FestschriftForHaehnle22,
  title	        = {The Logic of Software. A Tasting Menu of Formal Methods},
  editor	= {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Einar Broch Johnsen},
  series	= LNCS,
  year		= {2022},
  volume        = {13360},
  publisher     = Springer
}