Checking Java programs - Darwin, Ian F. (O'Reilly Media, 2007)
Keywords: Java (programovací jazyk); objektově orientované jazyky; elektronické knihy