B. Liskov. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000.Liskov, Barbara, and John Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Boston: Addison-Wesley, 2000....
Liskov, i 979a] Liskov, Barbara, Modular program construction using abstractions, Computation Structures Group Memo 184, M1T Laboratory for Computer Science, Cambridge, MA, Sept. 1979.B. Liskov. Modular program construction using abstractions. In Abstract Software Specifications, volume 86 of Lecture...
ion and specification in program development: by barbara liskov and john guttag. mit press and mcgraw-hill, london, 1986, 469 pages, price 32.50.doi:10.1016/0167-6423(88)90020-2V.StavridouElsevier B.V.Science of Computer Programming