Nguage> A laNguage iNveNted by Edsger Dijkstra ca. 1974. It iNtroduced the coNcept of guards aNd {committed choice NoNdetermiNism} ({doN' t care NoNdetermiNism}). Described aNd used iN ["A DiscipliNe of ProgrammiNg", E. Dijkstra, P-H 1976]. (1994-12-07)