Subtyping among mutable types in object-oriented programming languages. Mas- ter's thesis (1992)

by K K Dhara