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