Eine ökonomische statische Analysemethode zur Berechnung von relational attributes mittels regulärer Pfadbedingungen und ihre Anwendung auf Zeigeranalyse. - Ahmed Mian Syed (2004)