DOVPA

Dijkstra's Own Version of Pidgin Algol

See Dijkstra's guarded command language.