For every Sequential Algorithm there is an Equivalent Sequential Abstract State Machine (0)

by Yuri Gurevich
Venue:ACM Transactions on Computational Logic