"FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, ... " - читать интересную книгу автора (John Fitzgerald, Cliff B. Jones, Peter Lucas)