Models and ultraproducts an introduction - Bell, J. L. (Dover Publicatins, Inc., 1997)