Two-level control structure for nondeterministic programming. - Montangero, C. (Communications of the ACM, 1977)