Sequential Abstract State Machines Capture Sequential Algorithms (2000)

by Y Gurevich
Venue:ACM Transactions on Computational Logic