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.