Abstraction and specification in program development
By: Barbara Liskov and John Guttag.
Contributors: Guttag, John.
Series: The MIT electrical engineering anad computer science series
Publisher: MIT Press
Published: 1986
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 469
Subjects: Electronic digital computers -- Programming.
Notes: Includes index.

Bibliography, p.