Transfinite recursion and computation in the iterative conception of set
scientific article; zbMATH DE number 6684158
scientific article