Andreas Heberle Welf Löwe Rainer Neumann Wolf Zimmermann Weak Subtyping and Genericity. 149-158 2000 conf/tools/34-2000 TOOLS (34) http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.868967 db/conf/tools/tools34-2000.html#HeberleLNZ00