America (1990)
America P. (1990)
A behavioral approach to subtyping in object-oriented programming languages
In [_LNS90], pp. 173-190