@article{10952,
  author = {Stein Gjessing},
  title = {Monitors With Arrays of Condition Variables and Proof Rules Handling Local Quantities},
  year = {1980},
  journal = {BIT},
  volume = {20},
  number = {2,},
}