Experience with a Modular Typed Language: PROTEL

@inproceedings{Cashin-al:ICSE81,
  author    = {P. M. Cashin and
               Marc L. Joliat and
               Rym F. Kamel and
               D. M. Lasker},
  title     = {Experience with a Modular Typed Language: {PROTEL}},
  booktitle = {ICSE},
  pages     = {136--143},
  publisher = {{IEEE} Computer Society},
  year      = {1981},
}