Heidi E. Myers James M. Purtilo Interface Type Checking of Large C Applications. 147-154 1992 17 Comput. Lang. 2 db/journals/cl/cl17.html#MyersP92