@book{1974-Campbell-ProcessSynch, author = "{Campbell}, R.H. and {Habermann}, A.N.", title = "{The Specification of Process Synchronization by Path Expressions}", series = "Lecture Notes in Computer Science", volume = "16", publisher = "Springer", year = "1974" }