Verifying the Reusability of Software Component Specifications: Framework and Algorithms. - Yih-Feng Hwang; David C. Rine (Inf. Sci., 1998)

Verification framework and algorithms for integrating information distribution systems. - Yih-Feng Hwang; David C. Rine (Inf. Softw. Technol., 2006)