Davis HW. On a Formula for Haar Measure in Compact Groups. Math. Scand. 1972;30:51-61. doi:10.7146/math.scand.a-11063