статьи "Program Developments as Formal Objects".

доктора Грина.

группы авторов INRIA "A structure oriented program editor: a first step towards computer assisted programming".

группы авторов INRIA "Programming Environments based on Structured Editors: The MENTOR Experience".

"The Future of Programming". Авторы - A. I. Wasserman, S. Gutz.

Ф.Л.Бауэра "Programming as Fulfilment of a Contract".

Ф.Л.Бауэра "New Aspects of, and New Aspects for a Software Engineer's Programming Methodology".

группы авторов "LDM - a Logic Based Software Development Method".

Ф.Л.Бауэра "A Trend for the Next 10 Years of Software Engineering".

В.А.Ведешенкова, Н.А.Власенко, А.М.Шевченко "Выбор архитектуры военных вычислительных машин".

В Турского "A View of Current Concerns in Software Engineering".

со статьей В.Турского "Design of Large Programs".

А.Перлиса "Epigrams on Programming".

"Ada and Software Development Support: A New Concept in Language Design". Авторы - R.J.LeBlanc, J.J.Goda.

М.М.Лемана, В.Стенинга и В.М.Турского "Another Look at Software Design Methotodology (Preliminary Version)". Предпослано сопроводительное письмо В.Турского, в котором он просит прокомментировать его содержание и проследить за распространением.

книги "The correctness problem in computer science", выпущенной издательством "Academic Press" в 1981 г.

"Using Symbolic Execution to Characterize Behavior". Авторы - D.Cohen. W.Swartout? R.Balzer.

В Турского "Specification as a Theory with Models in the Computer World and in the Real World".

Д.Уайла "Program Developments as Formal Objects".

С.С.Лаврова "Синтез программ (в частности - в системе СПОРА)".