к внутренним материалам исследовательской группы математического факультета Католического университета (Неймеген). В материалах рассматриваются вопросы, связанные с необходимостью дополнительной спецификации реальных программных систем.