@article{SchellhornBanach2021,
  author    = {Gerhard Schellhorn and Richard Banach},
  title     = {A concept-driven construction of the Mondex protocol using three refinements},
  journal   = {Lecture Notes of Computer Science},
  volume    = {5238},
  pages     = {57 -- 70},
  doi       = {10.1007/978-3-540-87603-8_6},
  year      = {2021},
}