Verification of a Monitor Specification

@inproceedings{Saxena-Bredt:ICSE76,
  author    = {Ashok R. Saxena and
               Thomas H. Bredt},
  title     = {Verification of a Monitor Specification},
  booktitle = {ICSE},
  pages     = {53--59},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}