Raeburn I, Sinclair AM. The $C^*$-algebra generated by two projections. Math. Scand. 1989;65:278-290. doi:10.7146/math.scand.a-12283