"Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings " - читать интересную книгу автора (Wolfgang Grieskamp, Thomas Santen, Bill Stoddart)