Справка Н.К. Косовский утверждает, что в его докладе "Эквивалентность двух правил для доказательства свойств оператора цикла" не использованы данные, не подлежащие опубликованию в открытой печати. Дата: 12.04.1977 Оригинальный язык документа: русский
