"An Ada95 Programming Style Checker Using the GNAT ASIS Implementation."

Patrick Closhen, Hans-Jürgen Hoffmann (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics