Statische Analyse von Javaprogrammen. - Frank Stamm (2005)