Choi M duen, Elliot GA. Density of the self-adjoint elements with finite spectrum in an irrational rotation $C^*$-algebra. Math. Scand. 1990;67:73-86. doi:10.7146/math.scand.a-12321