Silvia Clerici Rosa M. Jiménez Fernando Orejas Class-Sort Polymorphism in GLIDER. 143-160 1995 conf/compass/1995 COMPASS/ADT db/conf/compass/compass95.html#ClericiJO95