1. Blass, A., Gurevich, Y.: Abstract State Machines Capture Parallel Algorithms. ACM Trans. Comput. Logic 4(4), 578–651 (2003)
2. Blass, A., Gurevich, Y.: Ordinary Interactive Small-Step Algorithms, parts I, II, III. ACM Trans. Comput. Logic (2006)
3. Blass, A., Gurevich, Y., Rosenzweig, D., Rossman, B.: General Interactive Small Step Algorithms. Technical Report MSR-TR-2005-113, Microsoft Research (August 2006)
4. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
5. Glausch., A., Reisig, W.: Distributed Abstract State Machines and Their Expressive Power, Humboldt-Universität zu, Berlin. Informatik-Berichte, vol. 196 (2006), http://www.informatik.hu-berlin.de/top/download/publications/GlauschR2006_hub_tr196.pdf