1. Farahbod, R., Gervasi, V., Glässer, U.: CoreASM: An Extensible ASM Execution Engine. Fundamenta Informaticae, 71–103 (2007)
2. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
3. Fowler, M.: The New Methodology (April 2003), http://martinfowler.com/articles/newMethodology.html
4. Farahbod, R., Gervasi, V., Glässer, U.: Design and Specification of the CoreASM Execution Engine, Part 1: the Kernel. Technical Report SFU-CMPT-TR-2006-09, Simon Fraser University (May 2006), http://www.coreasm.org
5. Farahbod, R., Gervasi, V., Glässer, U.: CoreASM: An extensible ASM execution engine. In: Proc. of the 12th Int’l Workshop on Abstract State Machines (2005)