"CAFE: An Industrial Strength Algebraic Formal Method" - читать интересную книгу автора (K. Futatsugi, A.T. Nakagawa, T. Tamai)