Bruce M. Kapron: Feasibly Continuous Type-Two Functionals. Comput. Complex. 8(2): 188-201 (1999)