Cohérence de copies multiples avec latence de détection d'erreur et test fonctionnel de micro-processeurs. - Carlos Postigo (1983)