Abstraction and specification in program development
Barbara Liskov and John Guttag.
Cambridge, Mass. : MIT Press ; New York : McGraw-Hill, ©1986.
xv, 469 págs. : ilustraciones ; 24 cm.
Serie: The MIT electrical engineering and computer science series
ISBN: 0262121123 (MIT Press), 0070379963 (McGraw-Hill)
Incluye referencias bibliográficas e índice.