Blackadar B. The Homotopy Lifting Theorem for Semiprojective $C^*$-Algebras. Math. Scand. 2016;118(2):291-302. doi:10.7146/math.scand.a-23691