Raeburn, I., & Sinclair, A. M. (1989). The $C^*$-algebra generated by two projections. MATHEMATICA SCANDINAVICA, 65, 278–290. https://doi.org/10.7146/math.scand.a-12283