1. I. Barwise, J. Schlipf [1975], On Recursively Saturated Models or Arithmetic, preprint.
2. C.C. Chang, H.J. Keisler [1973], Theory of Models, North Holland.
3. A. Ehrenfeucht, G. Kreisel [1966], Strong Models of Arithmetic, Bull. Acad. Pol. Sci., 14, 107–110.
4. S. Krajewski [1974] Predicative Expansions of Axiomatic Theries, Zeitsch. Math. Log. Gr. Math. 20, 435–452.
5. S. Krajewski [1974a], Mutually Inconsistent Satisfaction Classes, Bull. Acad. Pol. Sci. 22, 883–887.