1. Y. Choueka, Theories of automata on w-Tapes: a simplified approach, Journal of Computer and System Science 8 (1974), 117–141.
2. G. Bhat, R. Cleaveland, O. Grumberg, Efficient on-the-fly model checking for CTL*, Proceedings of the 10th Symposium on Logic in Computer Science, 1995, San Diego, CA, To appear.
3. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L.Dill, J. Hwang, Symbolic model checking: 1020 states and beyond, Information and Computation, 98 (1992), 142–170.
4. C. Courcoubetis, M. Vardi, P. Wolper, M Yannakakis, Memory-efficient algorithms for the verification of temporal properties, Formal methods in system design 1 (1992) 275–288.
5. O. Coudert, C. Berthet, J.C. Madre, Verification of synchronous sequential machines based on symbolic execution, Automatic Verification Methods for Finite State Systems, Grenoble, France, LNCS 407, Springer—Verlag, 1989, 365–373.