Rachid Echahed Nicolas Peltier Narrowing Data-Structures with Pointers. 92-106 2006 conf/gg/2006 ICGT http://dx.doi.org/10.1007/11841883_8 db/conf/gg/icgt2006.html#EchahedP06