Chapter1 and chapter 4-7 of Big Java Early Objects.

ACSL wiki page

Chapter 2-3, 8-16 and 17-19 of Big Java Early Objects .

Barron's AP Com Sci