https://9dok.net/document/zlg59j3l-a-unified-approach-to-constructive-and-recursive-analysis.html