Scott Dexter, Patrick Doyle, Yuri Gurevich. Gurevich Abstract State Machines and Schoenhage Storage Modification Machines. J. UCS, 3(4):279-303, 1997. [doi]
@article{DexterDG97,
title = {Gurevich Abstract State Machines and Schoenhage Storage Modification Machines},
author = {Scott Dexter and Patrick Doyle and Yuri Gurevich},
year = {1997},
url = {http://www.jucs.org/jucs_3_4/gurevich_abstract_state_machines},
tags = {state machines, abstract machine},
researchr = {https://researchr.org/publication/DexterDG97},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {3},
number = {4},
pages = {279-303},
}