@article{Schellhorn2001,
  author    = {Gerhard Schellhorn},
  title     = {Verification of ASM refinements using generalized forward simulation},
  journal   = {J.UCS - Journal of Universal Computer Science},
  volume    = {7},
  number    = {11},
  pages     = {952 -- 979},
  doi       = {10.3217/jucs-007-11-0952},
  url       = {http://www.jucs.org/jucs_7_11/verification_of_asm_refinements},
  year      = {2001},
}