1. Axiomatische Untersuchungen über einige mit der Presburgerschen Arithmetik verwandte Systeme;Apelt;ZHL,1966
2. J. Barwise, H. Kaufmann and M. Makkai: Stationary Logic, preprint.
3. A. Baudisch: Theorien von Klassen Abelscher Gruppen mit verallgemainerten Quantoren, Dissertation B (1977) Berlin.
4. Elimination of the Quantifier Qα in the Theory of Abelian Groups;Baudisch;Bull. de l'Acad. Polon. des Sci.,1976
5. A. Baudisch: The theory of Abelian groups with the quantifier (≤x). appears in ZHL 23(1977).