The Design, Analysis, and Verification of the SIFT Fault-Tolerant System

@inproceedings{Wensley-al:ICSE76,
  author    = {John H. Wensley and
               Milton W. Green and
               Karl N. Levitt and
               Robert E. Shostak},
  title     = {The Design, Analysis, and Verification of the {SIFT} {Fault-Tolerant} System},
  booktitle = {ICSE},
  pages     = {458--469},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}