Bernd Burgstaller Johann Blieberger Robert Mittermayr Static Detection of Access Anomalies in Ada95. 40-55 2006 conf/adaEurope/2006 Ada-Europe http://dx.doi.org/10.1007/11767077_4 db/conf/adaEurope/adaEurope2006.html#BurgstallerBM06