Zhang S. Homotopy of projections and factorization in the unitary group of certain $C^*$-algebras. Math. Scand. 1993;73:281-306. doi:10.7146/math.scand.a-12472