Extensional godel functional interpretation - Luckhardt, Horst (Lecture Notes in Mathematics, No.0306, 1973)