1. Andreka, H., Nemeti, I., Sain, I., ”Completeness problems in verification of programs and program schemes.” Mathematical Foundations of Computer Science, Springer Verlag, Vol 74, (1979), 208–218.
2. Kawai, H. ”Sequential calculus for a first order intinitary temporal logic”. Zeitschr. fur Math. Logic und Grundlagen der Math. Vol. 33, No5, (1987), 423–432.