1. Alpern, B., Schneider, F.B., — Defining Liveness, Cornell University, (Oct. 1984).
2. Barringer, H., Kuiper R., — A Temporal Logic Specification Method Supporting Hierarchical Development, University of Manchester, (Nov. 1983).
3. Barringer, H., Kuiper, R., Pnueli, A. — Now You May Compose Temporal Logic Specifications, 16th Symposium on Theory of Computing (April 84), 51–63.
4. Büchi, J.R., — On a Decision Method in Restricted Second Order Arithmetic, Proc. Intern. Congr. Logic, and Philos. Sci. 1960, 1960, Stanford University Press (1962) 1–11.
5. Büchi, J.R., — Weak Second Order Arithmetics and Finite Automata, Z. Math. Logik Grundlagen Math 6 (1960) 66–92.