Interface Type Checking of Large C Applications. - Heidi E. Myers; James M. Purtilo (Comput. Lang., 1992)