Model theory - Chang, C.C (North-Holland Publishing Company, 1976)