Comparaison Et Équivalence De Sémantiques Pour Les Schémas De Programmes Non Déterministes. - Patrice Naudin (RAIRO Theor. Informatics Appl., 1987)

Univariate Polynomial Factorization Over Finite Fields. - Patrice Naudin; Claude Quitté (Theor. Comput. Sci., 1998)