1. A. V. Aho, J. E. Hopcroft, J. D. Ulmann, The design and Analysis of Computer Algorithms, Addison Wesley, 1974.
2. Lect Notes Comput Sci;D. Bošnački,1999
3. D. Bošnački, Enhancing State Space Reduction Techniques for Model Checking, p. 146, Ph.D. Thesis, Eindhoven University of Technology, ISBN 90-386-0951-5, 2001.
4. Lect Notes Comput Sci;D. Bošnački,2002
5. Lect Notes Comput Sci;D. Bošnački,2000