Joan Rand Moschovakis Analyzing realizability by Troelstra's methods. 203-225 2002 114 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal114.html#Moschovakis02