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