@article{Schellhorn2021,
  author    = {Gerhard Schellhorn},
  title     = {ASM refinement preserving invariants},
  journal   = {Journal of Universal Computer Science},
  volume    = {14},
  number    = {12},
  pages     = {1929 -- 1948},
  doi       = {10.3217/jucs-014-12-1929},
  year      = {2021},
}