Stefan Staiger Statische Analyse von Graphischen Oberflächen. 247-253 2007 GI Jahrestagung (2) conf/gi/2007-2 db/conf/gi/gi2007-2.html#Staiger07 http://subs.emis.de/LNI/Proceedings/Proceedings110/article1727.html