Lawson topology of the space of formal balls and the hyperbolic topology. - Hideki Tsuiki; Yasunao Hattori (Theor. Comput. Sci., 2008)