Farenick D, Paulsen VI. Operator system quotients of matrix algebras and their tensor products. Math. Scand. 2012;111(2):210-243. doi:10.7146/math.scand.a-15225