Nondeterminism and the correctness of parallel programs - Flon, Lawrence; Suzuki, Norihisa (Carnegie-Mellon Univ., 1977)