Barbara Liskov Jeannette M. Wing Specifications and Their Use in Defining Subtypes. 16-28 1993 OOPSLA db/conf/oopsla/oopsla93.html#LiskovW93