Solomon Feferman: Gödel's Dialectica Interpretation and Its Two-Way Stretch. Kurt Gödel Colloquium 1993: 23-40