@Article{SchellhornAhrendt97,
  author        = {Gerhard Schellhorn and Wolfgang Ahrendt},
  title         = {Reasoning about Abstract State Machines: The {WAM} Case Study},
  journal       = "Journal of Universal Computer Science (JUCS)",
  volume	= {3},
  number	= {4},
  pages		= {377--380},
  publisher	= {Springer-Verlag},
  year          = {1997},
  URL           = {http://www.jucs.org/jucs_3_4}
}