@article{Schellhorn2018,
  author    = {Gerhard Schellhorn},
  title     = {Completeness of fair ASM refinement},
  journal   = {Science of Computer Programming},
  volume    = {76},
  number    = {9},
  pages     = {756 -- 773},
  doi       = {10.1016/j.scico.2009.10.004},
  year      = {2018},
}