[1] GRÄTZER G.: Universal Algebra. (2nd edition), Springer-Verlang, Berlin, 1979. MR 0538623

[2] HALMOS P. R.: Measure Theory. Van Nostrand, Reinhold, Toronto, 1950. MR 0033869 | Zbl 0040.16802

[3] KAPPOS D.: Probability Algebras and Stochastic Spaces. Academic Press. New York, 1969. MR 0464339 | Zbl 0196.18501

[4] MANSFIELD R.: The theory of Boolean ultrapowers. Ann. Math. Logic 2 (1971), 297-323. MR 0300887 | Zbl 0216.29401

[5] POTTHOLF K.: Boolean ultrapowers. Arch. Math. Logic 16 (1974), 37-48. MR 0347587

[6] SCOTT D.: A proof of the independence of the Continuum hypothesis. Math. Systems Theory 2 (1967), 89-111. MR 0218233 | Zbl 0149.25302

[7] SCOTT D.: Boolean models and non-standard analysis. In: Applications of Model Theory to Algebra, Analysis and Probability (W. A. J. Luxemburg, ed.). Holt. Reinhart & Winston 1969. MR 0236002

[8] STROYAN K.-LUXEMBURG W. A. J.: Introduction to the Theory of Infinitesimals. Academic Press, 1976. MR 0491163 | Zbl 0336.26002

[9] TAKEUTI G.: Two Applications of Logic to Mathematics. Iwanami & Princeton Univ. Press, 1978. MR 0505474 | Zbl 0393.03027