1. H. Bachmann, Transfinite Zahlen, 2nd ed., Springer-Verlag, Berlin, 1967.
2. J. Barwise, Infinitary logic and admissible sets, Doctoral Dissertation, Stanford University, Stanford, Calif., 1967.
3. J. Barwise, Implicit definability and compactness in infinitary languages, in: The Syntax and Semantics of Infinitary Languages, Springer-Verlag, Berlin, 1968, 1–35.
4. J. Barwise, Applications of strict Π l l predicates to infinitary logic, mimeographed, Yale, 1968–1969.
5. J.R. Buchi, Die Boole'sche Partialordnung und die Paarung von Gefuegen, Portugaliae Mathematica 7(1948), 119–190.