"Run-Time Check Elimination for Ada 9X."

Peter Lützen Møller (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics