FME '97, industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / - Fitzgerald, John,; Jones, C. B.; Lucas, Peter, (Lecture notes in computer science,)