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