A category theoretic view of nondeterministic recursive program schemes
scientific article; zbMATH DE number 6083560