Data Abstraction in Programming Languages - Bishop, Judy (Addison-Wesley Publishing, 1986)