1. Andréka, H., Goranko, V., Mikulás, Sz, Németi, I., & Sain, I. (1995). Effective temporal logics of programs. In L. Bolc & A. Szalas (Eds.), Time and logic. London: UCL Press.
2. Andréka, H., Madarász, J. X., & Németi, I. (2000). On the logical structure of relativity theories, internet book. http://www.renyi.hu/pub/algebraic-logic/olsort.html . Accessed 30 April 2013.
3. Andréka, H., Madarász, J. X., & Németi, I. (2004). Logical analysis of relativity theories. In V. Hendricks et al. (Eds.), First-order logic revisited. Berlin: Logos Verlag.
4. Andréka, H., Németi, I., & Sain, I. (1991). On the strength of temporal proofs. Theoretical Computer Science, 80, 125–151.
5. Ax, J. P. (1978). The elementary foundations of spacetime. Foundations of Physics, 8(7–8), 507–546.