"Applied Formal Methods - FM-Trends 98" - читать интересную книгу автора