An Approach to Error-Resistant Software Design

@inproceedings{Yau-al:ICSE76,
  author    = {Stephen S. Yau and
               R. C. Cheung and
               D. C. Cochrane},
  title     = {An Approach to {Error-Resistant} Software Design},
  booktitle = {ICSE},
  pages     = {429--436},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}