U.: CoreASM: An extensible ASM execution engine (2005)

by R Farahbod, V Gervasi, Glässer
Venue:In: Proc. of the 12th International Workshop on Abstract State Machines