1. P. Berman, J. Y. Halpern, and J. Tiuryn, ?On the power of nondeterminism in dynamic logic,? in: Automata, Languages, and Programming, Springer-Verlag, Berlin (1982), pp. 48?60.
2. M. A. Taitslin, ?Five problems on program logics,? in: Studies in Model Theory [in Russian], KazGU, Alma-Ata (1982), pp. 61?66.
3. M. A. Taitslin, ?Hierarchy of program logics,? Sib. Mat. Zh.,24, No. 3, 184?192 (1983).
4. I. Kh. Musikaev and A. P. Stolboushkin, ?Positive program logics in systems with arithmetic,? Kibernetika, No. 6, 29?32 (1984).
5. M. Presburger, ?Uber die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt,? in: Comptes Rendus du I Congres des Mathematicies des Pays Slaves, Warsaw (1929), pp. 92?101.