Continuous model theory - Chang, Chen C.; Keisler, H. Jerome 1936- (Annals of mathematics studies., 1985)