"Ada 9X Validation."

Nelson H. Weiderman (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics