@article{Bergstra_1984,
    doi = {10.1016/s0019-9958(84)80025-x},
    url = {https://doi.org/10.1016%2Fs0019-9958%2884%2980025-x},
    year = {1984},
    month = {jan},
    publisher = {Elsevier {BV}},
    volume = {60},
    number = {1-3},
    pages = {109--137},
    author = {J.A. Bergstra and J.W. Klop},
    title = {Process algebra for synchronous communication},
    journal = {Information and Control}
}

@article{Bergstra_1984, doi = {10.1016/s0019-9958(84)80025-x}, url = {https://doi.org/10.1016%2Fs0019-9958%2884%2980025-x}, year = {1984}, month = {jan}, publisher = {Elsevier {BV}}, volume = {60}, number = {1-3}, pages = {109--137}, author = {J.A. Bergstra and J.W. Klop}, title = {Process algebra for synchronous communication}, journal = {Information and Control} }