Roozbeh Farahbod Vincenzo Gervasi Uwe Glässer CoreASM: An Extensible ASM Execution Engine. 153-166 2005 conf/asm/2005 Abstract State Machines http://www.univ-paris12.fr/lacl/dima/asm05/CoreASM-ASM2005.ps db/conf/asm/asm2005.html#FarahbodGG05