Barbara Liskov Jeannette M. Wing A New Definition of the Subtype Relation. 118-141 http://link.springer.de/link/service/series/0558/bibs/0707/07070118.htm 1993 conf/ecoop/1993 ECOOP db/conf/ecoop/ecoop93.html#LiskovW93