The C Information Abstraction System. - Yih-Farn Chen; Michael Y. Nishimoto; C. V. Ramamoorthy (IEEE Trans. Software Eng., 1990)