Johan J. Lukkien: An Operational Semantics for the Guarded Command Language. MPC 1992: 233-249