A behavioral notion of subtyping (1994)

3 points by hwayne