1. R. Alur, C. Courcoubetis, M. Yannakakis, Distinguishing tests for nondeterministic and probablistic machines, Symposium on Theory of Computer Science, 1995, ACM, 363–372.
2. D. Angluin, Learning Regular Sets from Queries and Counterexamples, Information and Computation, 75, 87–106 (1978).
3. J. R. Büchi, On a decision method in restricted second order arithmetic, Proceedings of International Congress on Logic, Methodology and Philosophy of Science, Palo Alto, CA, USA, 1960, 1–11.
4. T. S. Chow, Testing software design modeled by finite-state machines, IEEE transactions on software engineering, SE-4, 3, 1978, 178–187.
5. E.M. Clarke, O. Grumberg, D. Peled, Model Checking, MIT Press, to appear 1999.