CLU : Reference Manual /

Autor Liskov, Barbara
Vydáno 1981

Abstraction and specification in program development /

Autor Liskov, Barbara, Guttag, John, 1949-
Vydáno 1986

Program development in Java : abstraction, specification, and object-oriented design /

Autor Liskov, Barbara, Guttag, John, 1949-
Vydáno 2001