TY - BOOK AU - Liskov, B. AU - Guttag, John. ED - ED - ED - ED - TI - : abstraction, specification, and object-oriented design SN - 0201657686 (alk. paper) SN - 2 PY - 2001///46 CY - Boston PB - Addison-Wesley KW - KW - 2 KW - 0 KW - 6 KW - 20 KW - Java (Computer program language);Object-oriented programming (Computer science) N1 - 5 ER -