"Extracting Objects of Ada Programs Using Module Features."

Yuming Zhou, Baowen Xu (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics