"The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)" - читать интересную книгу автора (Dines Bjørner, Cliff B. Jones (editors))