Folder: WG 2.3 Papers. An Exercise in Proving Parallel Programs Correct by David Gries, Cornell University, Munich, March 1976. An Assignment Statement by David Gries, Cornell University, Munich, March 1976. Report R281, Verification d'assertions pour des fonctions utilisables comme valeurs et affectant des variables exterieures by M. Sintzoff, January 1975, M.B.L.E. Brussels. Report: STAN-CS-73-403, Memo AIM - 224, Hints on Programming Language Design by C.A.R. Hoare, Stanford University, December 1973. Paper: Program Proving: Coroutines by Maurice Clint, The Queen's University of Belfast. Paper: Proof of correctness of data representations by C.A.R. Hoare. Paper: Coroutine Sequencing in a Block Structured Environment by Arne Wang and Ole-Johan Dahl, University of Oslo, September 1971. Paper: The Programming Process by M.M. Lehman, IBM Thomas J. Watson Research Centre Yorktown Heights, N.Y. October 1969. Paper: Notes on the theory and practice of data structuring by C.A.R. Hoare. Paper: Proof of a Program : Find by C.A.R. Hoare, The Queen's University. Belfast. Paper; A constructive semantics for a programming language by C.A.R. Hoare, August 1975. Paper: An essay on structure and modularity by D.T. Ross, August 1972. Paper: Constructing correct and efficient concurrent programs by Muiche Sintzoff and Axel van Lamsweerde, MBLE Research Laboratory , Brussels, to appear in Proc. Intl. Conf. On Reliable Software, ACM-IEEE, 1975. Paper: Software Engineering - Some Principles and Problems by W. Turski, Sofia, 1975, p. 485-491. Paper: Commerc ial Programming Methodology by M.A. Jackson., October 1973. Paper: Software Production Faciality (SPF) by R.M. Balzer, USC/Information Sciences Institute. Paper: EWD508-0. A synthesis emerging by Prof. Edsger W. Dijkstra, The Netherlands.