John S. Fitzgerald Cliff B. Jones Peter Lucas FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings FME Lecture Notes in Computer Science 1313 Springer 1997 3-540-63533-5 db/conf/fm/fme1997.html