Jacques Lonchamp Multi-Dimensional Model-based Genericity in Omega+. 730-734 2006 conf/icalt/2006 ICALT http://doi.ieeecomputersociety.org/10.1109/ICALT.2006.243 db/conf/icalt/icalt2006.html#Lonchamp06a