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