Cao, W., & Parker, J. R. (2018). Shimizu’s Lemma for Quaternionic Hyperbolic Space. Computational Methods and Function Theory - Springer, 18(1), 159-191. https://doi.org/10.1007/s40315-017-0212-4