Yuri Gurevich. Sequential abstract-state machines capture sequential algorithms. ACM Trans. Comput. Log., 1(1):77-111, 2000. [doi]
@article{Gurevich00-0, title = {Sequential abstract-state machines capture sequential algorithms}, author = {Yuri Gurevich}, year = {2000}, doi = {10.1145/343369.343384}, url = {http://doi.acm.org/10.1145/343369.343384}, tags = {state machines, abstract machine}, researchr = {https://researchr.org/publication/Gurevich00-0}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {1}, number = {1}, pages = {77-111}, }