Haagerup U, Kadison RV, Pedersen GK. Means of unitary operators, revisited. Math. Scand. 2007;100(2):193-197. doi:10.7146/math.scand.a-15021