⁴Kenner werden gewisse Ähnlichkeiten, aber auch große Unterschiede zu Dijkstra’s guarded command language feststellen.