Saturated Model Theory by Gerald E. Sacks