Around Hopcroft's Algorithm. - Manuel Baclet; Claire Pagetti (CIAA, 2006)