An invitation to model theory and C*-algebras - Martino Lupini (2017)