@article{BanachSchellhorn2021,
  author    = {Richard Banach and Gerhard Schellhorn},
  title     = {On the refinement of atomic actions},
  journal   = {Electronic Notes in Theoretical Computer Science},
  volume    = {201},
  pages     = {3 -- 30},
  doi       = {10.1016/j.entcs.2008.02.013},
  year      = {2021},
}