Marielle Doche Virginie Wiels Extended Institutions for Testing. 514-528 2000 conf/amast/2000 AMAST http://link.springer.de/link/service/series/0558/bibs/1816/18160514.htm db/conf/amast/amast2000.html#DocheW00