Liskov, B. and J. Wing. Family Values: A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems, November 1994.

Languages mentioned

• THETA {1990}