A Subtyping for Extensible, Incomplete Objects

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-1999-38401