Matsumoto K. Construction and pure infiniteness of $C^*$-algebras associated with lambda-graph systems. Math. Scand. 2005;97(1):73-88. doi:10.7146/math.scand.a-14964