A convergence theorem in process algebra / J.A. Bergstra, J.W. Klop
A convergence theorem in process algebra