Kadison, R. V., and G. K. Pedersen. “Means and Convex Combinations of Unitary Operators”. MATHEMATICA SCANDINAVICA, vol. 57, Dec. 1985, pp. 249-66, doi:10.7146/math.scand.a-12116.