"The Interlisp Programming Environment" by W.Teiteiman, L.Masinter.

"A Practical Method for Testing Algebraic Specification" by J.Tardo, J.Goguen, N.Williamson".

of talk "Activities related to developments of ADA Programming Environments" by U.Montanari.

of talk "Capital-Intensive Software Technologies" by P.Wegner.

of talk "Towards a Computer-based Ada Educational Environment" by P.Wegner.

"An informal introduction to specifications using Clear" by R.M.Burstall, J.A.Goguen.

"On the Independence of Discourse Structure and Semantic Domain" by Ch.Linde, J.A.Goguen.

The Cear Project.

"Matrix of all known ADA efforts".

Round Table - "The Problem of Software: Agenda for the Future".

of talk "The Management of Software Engineerig" by H.D.Mills.

of talk "Software Management Using Abstract Data Types" by R.L.Schwartz.

"The Finalization Operation for Abstract Types" by R.L.Schwartz, P.M.Melliar-Smith.

"Abstraction Mechanisms in CLU".

"Experiences with a Formal Methodology for Software Development" by P.G.Neumann.

of tolk "Psychosocial Implications of Computer Software Development and Use" by P.G.Neumann.

"Psychosocial Implications of Computer Software Development and Use" by P.G. Neumann.

"An Environment for Development and Use of Exscutable Application Models" by E.Sandewall.

"SCREBAS. Provisional Reference Manual" by E Sandewall.

of Round Table "Intelligent Interfaces for Non-expert Users".