Gerhard Schellhorn Wolfgang Ahrendt Reasoning about Abstract State Machines: The WAM Case Study. 377-413 1997 3 J. UCS 4 db/journals/jucs/jucs3.html#SchellhornA97 http://www.jucs.org/jucs_3_4/reasoning_about_abstract_state