Gurevich Abstract State Machines and Schoenhage Storage Modification Machines.

Scott Dexter Patrick Doyle Yuri Gurevich Gurevich Abstract State Machines and Schoenhage Storage Modification Machines. 279-303 1997 3 J. UCS 4 db/journals/jucs/jucs3.html#DexterDG97 http://www.jucs.org/jucs_3_4/gurevich_abstract_state_machines