CHONG, et al.. NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS. no. 02, Cambridge University Press (CUP), 2014, doi:10.1017/bsl.2014.14.