D. Herman Controle Repati Des Synchronisations Entre Processus. 24-30 1981 conf/icdcs/1981 ICDCS db/conf/icdcs/icdcs1981.html#Herman81