"Using Symbolic Execution to Characterize Behavior" by D.Cohen. W.Swartout? R.Balzer.

"Specification as a Theory with Models in the Computer World and in the Real World" by Turski.

"A Trend for the Next 10 Years of Software Engineering" by F.L.Bauer.

"Programming as Fulfilment of a Contract" by F.L.Bauer.

"New Aspects of, and New Aspects for a Software Engineer's Programming Metjdology" by F.L.Bauer.

"Epigrams on Programming" by A.J.Perlis.

"Program Developments as Formal Objects" by D.S.Wile.

"Ada and Software Development Support: A New Concept in Language Design" by R.J.LeBlanc, J.J.Goda.

"LDM - a Logic Based Software Development Method".

"A View of Current Concerns in Software Engineering" by V.Turski.

"Design of Large Programs" by V.Turski.

"Fuzzy Sets and the Social Nature of Truth" by J.Goguen.

"Program Developments as Formal Objects".

"The Future of Programming" by A. I. Wasserman, S. Gutz.

"Programming Environments based on Structured Editors: The MENTOR Experience".