The algebra of recursively defined processes and the algebra of regular processes - Bergstra, Jan A. 1951-; Klop, Jan Willem 1945- (Stichting Math. Centrum, Afdeling Informatica, 1983)