Algorithmique du parallélisme le problème de l'exclusion mutuelle - Raynal, Michel (Dunod, 1984)