Ανάπτυξη προγραμμάτων σε Java : αφαιρέσεις, προδιαγραφές, και αντικειμενοστρεφής σχεδιασμός - Liskov, Barbara. (Κλειδάριθμος, 2007)
Ανατυπώθηκε το 2010.
Τίτλος πρωτοτύπου: Program development in Java :abstraction, specification, and object-oriented design.