Escardó, M. (1996), 'PCF extended with real numbers', Theoretical Computer Science 162 (1), 79--115.