R. V. Kadison and G. K. Pedersen, “Means and convex combinations of unitary operators”., Math. Scand., vol. 57, pp. 249–266, Dec. 1985, doi: 10.7146/math.scand.a-12116.