1. Ben Yaacov, I., Berenstein, A., Henson, C.W., Usvyatsov, A.: Model theory for metric structures. In: Chatzidakis, Z., et al. (eds.) Model Theory with Applications to Algebra and Analysis, vol. II, pp. 315–427. London Mathematical Society Lecture Notes Series, no. 350. London Mathematical Society, London (2008)
2. Blackadar, B.: Operator Algebras: Theory of C∗-Algebras and von Neumann Algebras. Encyclopaedia of Mathematical Sciences, vol. 122. Operator Algebras and Non-commutative Geometry, III. Springer, Berlin (2006)
3. Connes, A.: A factor not anti-isomorphic to itself. Ann. Math. 536–554 (1975)
4. Cuntz, J., Pedersen, G.K.: Equivalence and traces on C∗-algebras. J. Funct. Anal. 33(2), 135–164 (1979)
5. Engelking, R.: General Topology. Heldermann, Berlin (1989)