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