@misc{W1589421353,
  author = {Matthew Hennessy and Robin Milner},
  title = {On observing nondeterminism and concurrency},
  year = {1980},
  howpublished = {Lecture notes in computer science},
  doi = {https://doi.org/10.1007/3-540-10003-2\_79}
}