George Tourlakis Computability in Type-2 Objects with Well-Behaved Type-1 Oracles is p-Normal. 83-91 2001 48 Fundam. Inform. 1 db/journals/fuin/fuin48.html#Tourlakis01