Jim Woodcock Peter Gorm Larsen FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings FME Lecture Notes in Computer Science 670 Springer 1993 3-540-56662-7 db/conf/fm/fme1993.html