Edsger W. Dijkstra. Guarded commands, non-determinacy and a calculus for the derivation of programs. In Martin L. Shooman, Raymond T. Yeh, editors, Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975. pages 2, ACM, 1975. [doi]
Abstract is missing.