This is the bibliography for Ian's Checking Java Programs book and webcasts.

The bibliography is divided into several parts for maintenance purposes: