Process algebra equational theories of communicating processes - Baeten, Josephus C. M.; Basten, Twan 1969-; Reniers, M. A. 1970- (Cambridge Univ. Press, 2010)
Literaturverz. S. 411 - 420