The real numbers in pointree topology - Banaschewski, Bernhard (Textos de matematica, Serie B ;, 1997)