Subtype -- signature and behavior

  • preservation of behavioral properties

slide: Subtyping and behavior