A Type-Checking Program Linkage System for Pascal

@inproceedings{Kieburtz-al:ICSE78,
  author    = {Richard B. Kieburtz and
               W. Barabash and
               C. R. Hill},
  title     = {A {Type-Checking} Program Linkage System for Pascal},
  booktitle = {ICSE},
  pages     = {23--28},
  publisher = {{IEEE} Computer Society},
  year      = {1978},
}