W. Abikoff, “The bounded model for hyperbolic 3-space and a quaternionic uniformization theorem”., Math. Scand., vol. 54, pp. 5–16, Jun. 1984.