Sequential abstract state machines capture sequential algorithms (0)

by Yuri Gurevich
Venue:A. C. M. Trans. Computational Logic