1. U. Abraham and S. Shelah, Isomorphism types of Aronszajn trees, Israel Journal of Mathematics 50 (1985), pp. 75–113.
2. L. W. Badger, An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications, Pacific Journal of Mathematics 72 (1977), pp. 293–304.
3. J. Baumgartner, A new class of order types, Annals of Math. Logic 9 (1976), pp. 187–222.
4. K. J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland Publ. Company, 1977.
5. J. K. Barwise and S. Feferman, Model-Theoretic Logics, New York, Springer-Verlag, 1985.