Semantics of Exact Real Arithmetic. - Peter John Potts; Abbas Edalat; Martín Hötzel Escardó (LICS, 1997)

A new representation for exact real numbers. - Abbas Edalat; Peter John Potts (MFPS, 1997)

Lazy Computation with Exact Real Numbers. - Abbas Edalat; Peter John Potts; Philipp Sünderhauf (ICFP, 1998)