Pierre Crégut Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels. 37-43 1991 JTASPEFT/WSA db/conf/sas/wsa91.html#Cregut91