Recursive process definitions with the state operator
scientific article; zbMATH DE number 4195171
scientific article