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, doi: 10.7146/math.scand.a-12321.