TY  - RPRT
TI  - Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
AU  - Andreas Blass
AU  - Yuri Gurevich
AU  - Dean Rosenzweig
AU  - Benjamin Rossman
PY  - 2007
DO  - 10.2168/lmcs-3(4:4)2007
UR  - https://arxiv.org/abs/0707.3789
ID  - 0707.3789
ER  -