@article{SchellhornAhrendt2019,
  author    = {Gerhard Schellhorn and W. Ahrendt},
  title     = {Reasoning about abstract state machines: the WAM case study},
  journal   = {J.UCS - Journal of Universal Computer Science},
  volume    = {3},
  number    = {4},
  pages     = {377 -- 413},
  doi       = {10.3217/jucs-003-04-0377},
  year      = {2019},
}