Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem.

Andreas Blass Yuri Gurevich Dean Rosenzweig Benjamin Rossman Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem. 2007 3 Logical Methods in Computer Science 4 http://dx.doi.org/10.2168/LMCS-3(4:4)2007 db/journals/lmcs/lmcs3.html#BlassGRR07a