Kohlenbach, U. (2000) “Higher Order Reverse Mathematics”, BRICS Report Series, 7(49). doi: 10.7146/brics.v7i49.20216.