Continuous model theory - Chang, Chen C.; Keisler, H. Jerome 1936- (Princeton Univ. Press, 1985)