Giuseppe Del Castillo The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines. 139-154 1998 Workshop on Abstract State Machines db/conf/asm/asm98.html#Castillo98