Сопроводительное письмо к отчету рецензента о статье Т. Такаоки. /Текст рукописный./ Дата: 27.10.1986 Названия статей: "A Decomposition Rule for the Hoare Logic" Оригинальный язык документа: русский Авторы: Григорий Ефроимович Минц Адресаты: Андрей Петрович Ершов
