America (1990)

America P. (1990)

A behavioral approach to subtyping in object-oriented programming languages

In [_LNS90], pp. 173-190