Monadic Interpreters for Dijkstra's Guarded Command Language
https://en.wikipedia.org/wiki/Guarded_Command_Language#Guarded_command
Monadic Interpreters for Dijkstra's Guarded Command Language
https://en.wikipedia.org/wiki/Guarded_Command_Language#Guarded_command