Specifying and Proving Properties of Sentinel Processes

@inproceedings{Ramamritham-Keller:ICSE81,
  author    = {Krithi Ramamritham and
               Robert M. Keller},
  title     = {Specifying and Proving Properties of Sentinel Processes},
  booktitle = {ICSE},
  pages     = {374--386},
  publisher = {{IEEE} Computer Society},
  year      = {1981},
}