A New Representation for Exact Real Numbers (1997)

by Abbas Edalat, Peter John Potts