"The anatomy of an FAA-qualifiable Ada subset compiler."

V. Santhanam (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics