Dan Conde. Book review: Abstraction and Specification in Program Development by Barbara Liskov and John Guttag (MIT Press/McGraw-Hill, 1988, 469 pages, ISBN 0-262-12112-3). ACM SIGSOFT Software Engineering Notes, 11(3):79-81, 1986. [doi]
Abstract is missing.