Abikoff, W. The Bounded Model for Hyperbolic 3-Space and a Quaternionic Uniformization Theorem. Math. Scand. 1984, 54, 5-16.