Записка с просьбой хотя бы кратко рассказать о методах доказательства правильности программ, а также пояснить причину своего негативного отношения к языку PL/I. Дата: 20.09.1976 Оригинальный язык документа: русский, английский Авторы: автор не установлен Адресаты: Эдсгер В. Дейкстра
