Haagerup, U.; Kadison, R. V.; Pedersen, G. K. Means of Unitary Operators, Revisited. Math. Scand. 2007, 100, 193-197.