The specification of process synchronization by path expressions /
Campbell, Roy Harold.
Habermann, Arie Nicholaas.
Newcastle upon Tyne :  Computing Laboratory, University of Newcastle upon Tyne, 
1974.
Programming (Electronic computers)