Daniel Deveaux Jean-Marc Jézéquel Des classes autotestables. 99-114 1999 conf/lmo/1999 LMO db/conf/lmo/lmo1999.html#DeveauxJ99