Lazar AJ. AF algebras with a lattice of projections. Math. Scand. 1982;50:135-144. doi:10.7146/math.scand.a-11950