Books written by Barbara Liskov.
Liskov was awarded the Turing Award in 2008 for her contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.
Program Development in Java: Abstraction, Specification, and Object-Oriented Design
Written by a world-renowned expert on programming methodology, and the winner of the 2008 Turing Award, this book shows how to build production-quality programs--programs that are reliable, easy to maintain, and quick to modify.
Abstraction and Specification in Program Development
Abstraction and Specification in Program Development offers professionals in program design and software engineering a methodology that will enable them to construct programs that are reliable and reasonably easy to understand, modify, and maintain.