Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science, Vol. 50)
2009