Lazar, A. J. AF Algebras With a Lattice of Projections. Math. Scand. 1982, 50, 135-144. https://doi.org/10.7146/math.scand.a-11950.