Model theory of operator systems and C∗-algebras
scientific article; zbMATH DE number 7756062