@article{Schellhorn2005,
  author    = {Gerhard Schellhorn},
  title     = {ASM refinement and generalizations of forward simulation in data refinement: a comparison},
  journal   = {Theoretical Computer Science},
  volume    = {336},
  number    = {2-3},
  pages     = {403 -- 435},
  doi       = {10.1016/j.tcs.2004.11.013},
  year      = {2005},
}