Farah, Ilijas, and Takeshi Katsura. 2015. “Nonseparable Uhf Algebras Ii: Classification”. Mathematica Scandinavica 117 (1): 105-25. https://doi.org/10.7146/math.scand.a-22238.