@misc{indiciae7d34235af901,
  title = {Mutual exclusion},
  author = {Denning, Peter J.},
  year = {1991},
  url = {https://ntrs.nasa.gov/citations/19910023508},
  note = {Source identifier: 19910023508}
}