Сопроводительное письмо к стаье "A Decomposition Rule for the Hoare Logic", представленной для опубликования в журнале IPL. Дата: 29.08.1986 Названия статей: "A Decomposition Rule for the Hoare Logic" Оригинальный язык документа: английский Авторы: Т. Такаока Организации: Университет в Ибараки Адресаты: Андрей Петрович Ершов
