Lifting of the Ditchmarker Refinement for Connection Method to First Order Logic. - Dag Diesen (SCAI, 1988)

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