Здравствуйте, Aviator, Вы писали:

A>Здравствуйте, Курилка, Вы писали:

К>>Здравствуйте, Aviator, Вы писали:

A>>>Вышла книжечка с таким непонятным названием. Кто-нибудь сталкивался с такими вещами?

Эта книга может быть любопытна, если вы интересуетесь языками
формальных спецификаций. Модели, приводимые в данной книжке,
написаны на диалектах языка Z, а именно: на чистом Z и на Object-Z.
Следовательно, без знания языка Z читать эту книгу будет затруднительно.