Haagerup, U., Kadison, R.V. and Pedersen, G.K. (2007) “Means of unitary operators, revisited”, Mathematica Scandinavica, 100(2), pp. 193–197. doi:10.7146/math.scand.a-15021.