Developing New ASM-tools. - Dag Diesen; Trond Ove Svendsen; Bjørn Thorstensen (Workshop on Abstract State Machines, 1998)