Packaging reusable components: the specification of programs (1992)

by V R Basili, S K Abd-El-Hafiz