@misc{W2066210260,
  author = {Edsger W. Dijkstra},
  title = {Guarded commands, nondeterminacy and formal derivation of programs},
  year = {1975},
  howpublished = {Communications of the ACM},
  doi = {https://doi.org/10.1145/360933.360975}
}