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

"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.

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

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

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

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

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

"Requirements for an Ada Programming Support Environment: Rationale for Stoneman". Авторы - J.N.Buxton, L.E.Druffel.

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

группы авторов "Introducing Ada".

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

"Matrix of all known ADA efforts".

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

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

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

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

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

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

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