Ordinary interactive small-step algorithms, (2006)

by A Blass, Y Gurevich
Venue:I. ACM Transactions on Computation Logic,