A note on k-axiomatisations of identity. Joan Rand Moschovakis — 1969 Archiv für mathematische Logik und Grundlagenforschung
A topological interpretation of second-order intuitionistic arithmetic Joan Rand Moschovakis — 1973 Compositio Mathematica