Jean Marie Chesneaux Christiane Frougny Jean-Michel Muller Real Numbers - Foreword. 1-2 2002 279 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs279.html#ChesneauxFM02 http://dx.doi.org/10.1016/S0304-3975(00)00423-0