Maurice Naftalin B. Tim Denvir Miquel Bertran FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings FME Lecture Notes in Computer Science 873 Springer 1994 3-540-58555-9 db/conf/fm/fme1994.html