A survey of axiom systems for process algebras (1991)

by J Baeten, J Bergstra