"Integrated Formal Methods, 4 conf., IFM 2004" - читать интересную книгу автора (Eerke Boiten, John Derrick, Graeme Smith)