CoreASM: An Extensible ASM Execution Engine (2007)

by R Farahbod, V Gervasi, U Glässer
Venue:Fundamenta Informaticae