%0 Book
%F LG86
%A Liskov, Barbara
%A Guttag, John
%T Abstraction and Specification in Program Development
%I The MIT Press
%@ 0262121123
%D 1986