Abstraction and Specification in Program Development (1986)

by B Liskov, J Guttag