Blackadar, Bruce. “The Homotopy Lifting Theorem for Semiprojective $C^*$-Algebras”. Mathematica Scandinavica, vol. 118, no. 2, June 2016, pp. 291-02, https://doi.org/10.7146/math.scand.a-23691.