M.- duen Choi and G. A. Elliot, “Density of the self-adjoint elements with finite spectrum in an irrational rotation $C^*$-algebra”., Math. Scand., vol. 67, pp. 73–86, Jun. 1990.