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