Checking Java programs - Darwin, Ian F. (O'Reilly Media, 2007)