"The new semantic model in ASIS for Ada 2005."

Jean-Pierre Rosen, S. Tucker Taft (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics