-J. Fitzgerald/C.B. Jones/P. Lucas (Eds.): FME'97: Industrial Applications and Strengthened Foundations of Formal Methods. Proccedings, Springer-Verlag 1997