A Type-Checking Program Linkage System for Pascal.

Richard B. Kieburtz, W. Barabash, C. R. Hill

Browse the full ICSE paper archive.