Saturated model theory - Sacks, Geralde E (1972)