@misc{W2110425399,
  author = {C. A. R. Hoare},
  title = {Communicating sequential processes},
  year = {1983},
  howpublished = {Communications of the ACM},
  doi = {https://doi.org/10.1145/357980.358021}
}