"Program Developments as Formal Objects".

"A structure oriented program editor: a first step towards computer assisted programming".

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

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

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

"LDM - a Logic Based Software Development Method".

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

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

"Design of Large Programs" by V.Turski.

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

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

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

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