Recursive process definitions with the state operator - Baeten, Josephus C. M.; Bergstra, Jan A. 1951- (1989)