Sequential abstract-state machines capture sequential algorithms. Gurevich, Y ACM Transactions on Computational Logic (TOCL), 1(1):111, 2000.
bibtex   
@Article{Gurevich2000,
author = {Gurevich, Y}, 
title = {Sequential abstract-state machines capture sequential algorithms}, 
journal = {ACM Transactions on Computational Logic (TOCL)}, 
volume = {1}, 
number = {1}, 
pages = {111}, 
year = {2000}, 
abstract = {}, 
location = {}, 
keywords = {}}

Downloads: 0