Liskov, Barbara and Guttag, John "Abstraction and Specification in Program Development", McGraw-Hill, 1986.

Languages mentioned

• CLU {1974} CLUster programming language - abstractions and iterators