Kim, I., & Parker, J. R. (2003). Geometry of quaternionic hyperbolic manifolds. Mathematical Proceedings of the Cambridge Philosophical Society, 135(2), 291-320. https://doi.org/10.1017/s030500410300687x