Abstraction and Specification in Program Development. The MIT EECS Series (1986)

by B Liskov, J V Guttag