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