Classifying linear matrix inequalities via abstract operator systems | Publicación