Publication

Subtyping as a Support for Incremental Development