"Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)" - читать интересную книгу автора (Dines Bjorner, Martin C. Henson)