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.

Abstract

Abstract is missing.