Paper: A system which automatically improves programmes by J. Darlington and R.M. Burstall, report No. 28, August 1973, University of Edinburgh. An approach to correctness proofs of semicoroutines by Ole-Johan Dahl, University of Oslo. Paper: EWD418-0. Guarded commands, non-determimacy and a calculus for the derivation of programs by Edsger W. Dijkstra, The Netherlands. Paper: Some design considerations for a universal systems programming language by Gerhard Seegmuller, LRZ-Bericht, Nr. 7304, October 1973, Munich. Paper: Semantic Primitives for Secure Parallel Processing by J.D. Roberts. Paper: Some Design Criteria for Program Development Tools by P. Henderson and R.A. Snowdon, University of Newcastle, August 1973. Paper: MRM/62. A Program Development by J.D. Gorrie, University of Newcastle, October 1973.