Andrej Bauer Paul Taylor 0002 The Dedekind Reals in Abstract Stone Duality. 25-64 2005 conf/cca/2005 CCA db/conf/cca/cca2005.html#BauerT05