Robert J. Irwin James S. Royer Bruce M. Kapron On characterizations of the basic feasible functionals (Part I). 117-153 2001 11 J. Funct. Program. 1 db/journals/jfp/jfp11.html#IrwinRK01 http://journals.cambridge.org/action/displayAbstract?aid=68573