Johan J. Lukkien. An Operational Semantics for the Guarded Command Language. In Richard S. Bird, Carroll Morgan, Jim Woodcock, editors, Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings. Volume 669 of Lecture Notes in Computer Science, pages 233-249, Springer, 1992.
Abstract is missing.