Petersen GK. Cebysev subspaces of $C^*$-algebras. Math. Scand. 1979;45:147-156. doi:10.7146/math.scand.a-11832