Escardó, M.H.: {PCF extended with real numbers}. In: Theoretical Computer Science, 162 (1996), Nr. 1, S. 79--115