1. On recursively saturated models of arithmetic;Barwise,1976
2. A rather classless model;Kaufmann;Proc. Amer. Math. Soc.,1977
3. M. Kaufmann and J.H. Schmerl, Remarks on weak notions of saturation in models of PA (tentative title).
4. Ultraproducts and saturated models;Keisler;Indag. Math.,1964