1. J. Arsac: La construction des programmes structures. Paris, Dunod 1977
2. R.M. Balzer: Correct and Efficient Software Implementation via Semi-Automatic Transformations (research proposal, unpublished)
3. F.L. Bauer: A Philosophy of Programming. A Course of Three Lectures given at the Imperial College of Science and Technology, London, October 1973. Reprinted in: F.L. Bauer, K. Samelson (eds.): Language Hierarchies and Interfaces. Lecture Notes in Computer Science 46, Berlin-Heidelberg-New York: Springer 1976, pp. 194–229
4. F.L. Bauer: Programming as an Evolutionary Process. Technische Universität München, Institut für Informatik, Rep. n° 7617. Also: Proc. 2nd. Int. Conf. on Software Engineering, Oct. 1976, San Francisco, CA, pp. 223–234
5. F.L. Bauer, H. Partsch, P. Pepper, H. Wössner: Techniques for Program Development. Technische Universität München, Institut für Informatik, Interner Bericht, Sept. 1976. Also in: Software Engineering Techniques. Infotech State of the Art Report 34, 1977, pp. 27–50