Ανάπτυξη προγραμμάτων σε Java Αφαιρέσεις, προδιαγραφές και αντικειμενοστρεφής σχεδιασμός - Liskov, B. (Κλειδάριθμος, 2007)