"The Interlisp Programming Environment". Авторы - W.Teiteiman, L.Masinter.

"A Practical Method for Testing Algebraic Specification". Авторы - J.Tardo, J.Goguen, N.Williamson".

к докладу У. Монтанари "Activities related to developments of ADA Programming Environments".

доклада П.Вегнера "Capital-Intensive Software Technologies".

доклада П.Вегнера "Towards a Computer-based Ada Educational Environment".

"An informal introduction to specifications using Clear". Авторы - R.M.Burstall, J.A.Goguen.

"On the Independence of Discourse Structure and Semantic Domain". Авторы - Ch.Linde, J.A.Goguen.

по проекту "Седар".

"Matrix of all known ADA efforts".

круглого стола "Проблема программного обеспечения: программа на будущее".

доклада Х.Д.Миллса "The Management of Software Engineerig".

доклада Р.Л.Шварца "Software Management Using Abstract Data Types".

"The Finalization Operation for Abstract Types". Авторы - R.L.Schwartz, P.M.Melliar-Smith.

группы авторов "Abstraction Mechanisms in CLU".

"Experiences with a Formal Methodology for Software Development". Автор - P.G.Neumann.

к выступлению П. Нейманна "Psychosocial Implications of Computer Software Development and Use".

"Psychosocial Implications of Computer Software Development and Use". Автор - P.G. Neumann.

Е. Сандевала "An Environment for Development and Use of Exscutable Application Models".

Е. Сандевала "SCREBAS. Provisional Reference Manual".

панельной дискуссии "Интеллектуальный интерфейс для непрофессиональных пользователей".