Dominique Rieu Gia Toan Nguyen Contrôle automatique de cohérence sur des objets dynamiques. 287-304 1987 conf/bda/1987 BDA db/conf/bda/bda1987.html#RieuN87