Welf Löwe Rainer Neumann Martin Trapp Wolf Zimmermann Weak Subtyping - Yet Another Notion of Inheritance. 333-345 1998 conf/tools/26-1998 TOOLS (26) http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.711024 db/conf/tools/tools26-1998.html#LoweNTZ98