Sequential abstract state machines capture sequential algorithms

by Yuri Gurevich
Venue:ACM Trans. Computational logic
Citations:116 - 24 self