Subtyping among mutable types in object-oriented programming languages (1992)

by Krishna Kishore Dhara