Hoover, 1991. Real functions, contraction mappings, and P-completeness 93.. https://doi.org/10.1016/0890-5401(91)90027-y