1. Beauquier, D., Berstel, J., Chrétienne, P.: Éléments d’Algorithmique, Masson (1992)
2. Lecture Notes in Computer Science;J. Berstel,2005
3. Baclet, M., Pagetti, C.: Around Hopcroft’s Algorithm. Technical Report LSV-06-12, Laboratoire Spécification et Vérification, ENS de Cachan, France (2006)
4. Baclet, M., Pacalet, R., Petit, A.: Register transfer level simulation. Technical Report LSV-04-10, Laboratoire Spécification et Vérification, ENS de Cachan, France (2004)
5. MRI Symposia Series;J.A. Brzozowski,1962