Choi, M.- duen, & Elliot, G. A. (1990). Density of the self-adjoint elements with finite spectrum in an irrational rotation $C^*$-algebra. MATHEMATICA SCANDINAVICA, 67, 73–86. https://doi.org/10.7146/math.scand.a-12321