"Integrated Formal Methods, 6 conf., IFM 2007" - читать интересную книгу автора (Jim Davies, Jeremy Gibbons)