[ACM] CACM 20(10) October 1977

(1957) Communications of the ACM  

Montangero, C.; Pacini, G.; Turini, F. (1977) Montangero, C.; Pacini, G.; Turini, F. "Two-level control structure for nondeterministic programming" pp725-730