J.C.M. Baeten, T. Basten, M.A. Reniers.
Process Algebra: Equational Theories of Communicating Processes.
Cambridge Tracts in Theoretical Computer Science No. 50.
ISBN 978-0-521-82049-3 Hardback.
Cambridge University Press, Cambridge, UK, 2010.