D. Vinay

发表

O. Millet, B. Roussel, R. Mélançon, 1997 .