Dag Diesen Trond Ove Svendsen Bjørn Thorstensen Developing New ASM-tools. 155-158 1998 Workshop on Abstract State Machines db/conf/asm/asm98.html#DiesenST98