1. J. Aho, J. Hopcroft, J. Ullman, “The design and analysis of computer algorithms”, Addison-Wesley, 1974.
2. J. Albert, K. Culik II, J. Karhumäki, Test sets for context-free languages and algebraic systems of equations, Inform. Control 52(1982), 172–186.
3. J. Jaffar, Minimal and complete word unification, JACM 37(1), 47–85.
4. S. Jarominek, J. Karhumäki, W. Rytter, Efficient construction of test sets for regular and context-free languages, Theoret. Comp. Science (to appear).
5. J. Karhumäki, W. Plandowski, W. Rytter, Polynomial size test sets for contextfree languages, JCSS (to appear).