%0 Journal Article %F LW94 %A Liskov, Barbara H. %A Wing, Jeannette M. %T A behavioral notion of subtyping %J ACM Transactions on Programming Languages and Systems %V 16 %N 6 %D 1994 %U http://www.cs.berkeley.edu/~jcondit/pl-prelim/liskov94behavioral.ps