"Integrated Formal Methods, 7 conf., IFM 2009" - читать интересную книгу автора (Michael Leuschel, Heike Wehrheim)