"Specification-based Testing of Ada Units with Low Encapsulation."

Arthur Alexander Reyes, Debra J. Richardson (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics