Specifications and Their Use in Defining Subtypes

Barbara Liskov, Jeannette M. Wing. Specifications and Their Use in Defining Subtypes. In OOPSLA. pages 16-28, 1993.

Possibly Related Publications

The following publications are possibly variants of this publication: