"Interprocedural Symbolic Evaluation of Ada Programs with Aliases."

Johann Blieberger, Bernd Burgstaller, Bernhard Scholz (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics