Synchronization of parallel programs - Andre, Francoise; Herman, Daniel; Verjus, Jean-Pierre (North Oxford Academic, 1985)