Lawrence Flon Norihisa Suzuki The Total Correctness of Parallel Programs. 227-246 1981 10 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp10.html#FlonS81