1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)
2. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers - Principles, techniques and tools. Addison-Wesley, Reading (1986)(reprinted)
3. Aït Kaci, H.: Warren’s Abstract Machine - A Tutorial Reconstruction. The MIT Press, Cambridge (1991)
4. Lecture Notes in Computer Science,1993
5. Burgess, J.P.: Basic tense logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 89–133. D. Reidel, Dordrecht (1984)