Algèbre de Processus et Synchronisation. - Didier Austry; Gérard Boudol (Theor. Comput. Sci., 1984)