"The Vienna development method: the Meta-langauge" - читать интересную книгу автора (D. Bjorner, C.B. Jones)