Abstraction and Specification (1986)

by B Liskov, J Guttag
Venue:in Program Development”, MIT Press/McGraw-Hill