Abstraction and specification in program development
By: Barbara Liskov and John Guutag.
Contributors: Guttag, John.
Publisher: MIT Press
Published: 1986
Place of publication: Cambridge, Mass
Language: eng