Model Theory - Chang, Chen Chung (North Holland, 1977)