Документы, связанные с Род М. Берсталл

Статья Р. Берсталл

"An informal introduction to specifications using Clear". Авторы - R.M.Burstall, J.A.Goguen.
Письмо Р. Брукер -> К. Шоу 12.10.1967

Ответ на письмо от 15 сентября задержан из-за переезда автора из Манчестера в Эссекс. Сообщает результаты переговоров с потенциальными авторами, интересуется решением по поводу статьи Кулуриса, называет кандидатов в редакторы от Западной Европы.
Сопроводительная карточка -> А.П. Ершов 25.10.1971

к книге; просьба подтвердить получение.
Письмо Р. Берсталл -> А.П. Ершов 07.12.1972

Автор посылает свои работы, сожалеет, что не смог приехать на конференцию. Возмущается, что такому великому ученому, как З. Манна, не дали визу, предположительно из-за его поездки в Израиль.
Телеграмма А.П. Ершов -> Б. Мельцер 05.10.1976

Первый кандидат на приезд - доктор Р.М. Берсталл; настолько долго, как сможет; в любое время; но июль-август менее предпочтительны.
Приветственная карточка Р. Берсталл -> А.П. Ершов 26.10.1976
Письмо Б. Мельцер -> А.П. Ершов 11.11.1976

Благодарит за выбор визитера, но боится, что в этом году организовать визит не удастся. Просит прислать более полную информацию, чтобы использовать ее для принятия решений по обмену учеными.
Письмо Р. Берсталл -> А.П. Ершов 07.12.1976

Сожалеет, что должен отклонить приглашение адресата, так как весь 1977 год уже расписан различными мероприятиями. Рассказывает о правилах обмена визитерами, принятыми в Британии, и надеется на дальнейшее сотрудничество.
Письмо П. Голдфинч -> А.П. Ершов 13.05.1977

В связи с выдвижением д-ра Р. Берсталла на звание профессора, автор обращается к адресату с просьбой оценить последние работы номинанта.
Предисловие М. Арбиб 01.08.1977

к книге "Программирование корректных структурированных программ" С.А. Алагича и М.А. Арбиба, в котором авторы излагают поставленную перед собой цель.
Письмо А.П. Ершов -> П. Голдфинч 18.08.1977

Автор характеризует д-ра Р.М. Берсталла как одного из десяти наиболее продуктивно работающих в области программирования ученых Великобритании.
Письмо П. Голдфинч -> А.П. Ершов 01.09.1977

Автор благодарит адресата за высказанное мнение о докторе Берсталле; оно поможет конкурсной комиссии во время принятия решения.
Приветственная карточка Р. Берсталл -> А.П. Ершов 22.09.1977

вложенная в литературу, отправленную в адрес А.П. Ершова .
Письмо Р. Берсталл -> А.П. Ершов 18.12.1978

Благодарит за информацию о симпозиуме; изъявляет желание участвовать в его работе.
Ответ на 2-е извещение Р. Берсталл -> А.П. Ершов 20.03.1979

Сообщает, что он приедет на симпозиум в Ургенч, если найдет финансовую поддержку.
Письмо Р. Берсталл -> А.П. Ершов 12.04.1979

Сообщает, что принять участие в симпозиуме, к сожалению, не сможет.
Письмо А.П. Ершов -> Г.К. Скрябин 19.04.1979

Просит рассмотреть возможность приглашения на симпозиум Р.М. Берсталла, С. Клини, М.С. Патерсона, К. Замельзона и Ф. Штрассена в качестве гостей АН СССР; в приложении: обоснование, научные характеристики и программа приема.
Письмо Р. Берсталл -> А.П. Ершов 04.05.1979

Сообщает о своей встрече с Дж.Дарлингтоном.
Письмо Д. Дарлингтон -> А.П. Ершов 25.05.1979

Сообщает о том, что Р.М. Берсталл не сможет принять участие в работе симпозиума; выражает желание участвовать самому; надеется, что это удастся.
Письмо А.П. Ершов -> П.А. Варес 09.07.1979

о полученном решении принять некоторых зарубежных участников (всего 4-5 человек) в качестве гостей АН СССР; просьба разрешить направить приглашение вместо Р. Берсталла Дж. Дарлингтону, обоснование, научная характеристика и программа пребывания которого прилагаются.
Карточка Р. Берсталл -> А.П. Ершов 20.07.1979

Сообщение об изменении почтового адреса.
Письмо Р. Берсталл -> А.П. Ершов 15.01.1980

с оценкой доклада Э. Тыугу.
Письмо А.П. Ершов -> Ф. Самнер 15.01.1980

Отчет по подготовке к Конгрессу ИФИП-80.
Письмо Э.Х. Тыугу -> А.П. Ершов 30.01.1980

Автор обсуждает критические замечания по своему докладу.
Письмо А.П. Ершов -> С. Лавингтон 01.02.1980

о задержках с рецензированием докладов.
Статья Р. Берсталл 27.11.1987

"Making Programs More Readable". Авторы - J.L.Weiner, R.M.Burstall.