"The Vienna Development Method.. The Meta-Language" - читать интересную книгу автора (D. Bjorner, C.B. Jones)