Gilbert Caplain René Lalement Thierry Salset Checking the Serial Correctness of Control-Parallel Programs. 741-744 1994 conf/parle/1994 PARLE db/conf/parle/parle94.html#CaplainLS94