Synchronisation de programmes parallèles: expression et mise en oeuvre dans les systèmes centralisés ou distribués. - Bordas, 1983. - ( Dunod informatique ).