1. Blass, A., Gurevich, Y.: Abstract State Machines Capture Parallel Algorithms: Correction and Extension, vol. 9, pp. 19:1–19:32. ACM, New York (2008),
http://doi.acm.org/10.1145/1352582.1352587
2. Börger, E., Stark, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag New York, Inc., Secaucus (2003)
3. Börger, E., Cisternino, A., Gervasi, V.: Ambient Abstract State Machines with Applications. J.CSS (Special Issue in honor of Amir Pnueli) 78(3), 939–959 (2012),
http://dx.doi.org/10.1016/j.jcss.2011.08.004
4. Lecture Notes in Computer Science;E. Börger,2000
5. Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: A Theory of Processes with Localities. Formal Aspects of Computing 6, 165–200 (1994),
http://dx.doi.org/10.1007/BF01221098
, doi:10.1007/BF01221098