It is based on Guarded Command Language created by Edsger Dijkstra.
これはエドガー・ダイクストラによって作られたGuarded Command Languageを基にしている。