Shore. Reverse Mathematics: The Playground of Logic. no. 03, Cambridge University Press (CUP), 2010, doi:10.2178/bsl/1286284559.