A convergence theorem in process algebra - Bergstra, Jan A. 1951-; Klop, Jan Willem 1945- (1987)