Specifications and their use in defining subtypes (1993)

by Barbara Liskov, Jeannette M Wing
Venue:OOPSLA '93 Proceedings, Andreas Paepcke (editor