Verification of ANDF Components. - Frédéric Broustaut; Christian Fabre; François de Ferrière; Éric Ivanov; Mauro Fiorentini (Intermediate Representations Workshop, 1995)