Ordinary interactive small-step algorithms, Part I (2006)

by Andreas Blass, Yuri Gurevich
Venue:ACM Transactions on Computational Logic