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

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

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

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

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

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

"Matrix of all known ADA efforts".

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

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

"The Potential Effect of Ada on Software Engineering in the 1980's" by L. E. Druffel.

"Introducing Ada".

"Requirements for an Ada Programming Support Environment: Rationale for Stoneman" by J.N.Buxton, L.E.Druffel.

The Cear Project.

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

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