Model theory for metric structures  pp. 315-427

Model theory for metric structures

By Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson and Alexander Usvyatsov