Process Semantics: Universal Axioms Compositional Rules, and Applications. - Van Vicious Nguyen; Robert E. Strom (PODC, 1988)