Computability of terms and notations of realizability for intuitionistic analysis - Troelstra, Anne S. 1939-2019 (1971)