Language and compiler design to enhance reliability

@inproceedings{Gannon1973LanguageAC,
  title={Language and compiler design to enhance reliability},
  author={John D. Gannon},
  booktitle={SIGP},
  year={1973}
}