@article{Baeten_1988,
    doi = {10.1016/0890-5401(88)90027-2},
    url = {https://doi.org/10.1016%2F0890-5401%2888%2990027-2},
    year = {1988},
    month = {sep},
    publisher = {Elsevier {BV}},
    volume = {78},
    number = {3},
    pages = {205--245},
    author = {J.C.M. Baeten and J.A. Bergstra},
    title = {Global renaming operators in concrete process algebra},
    journal = {Information and Computation}
}

@article{Baeten_1988, doi = {10.1016/0890-5401(88)90027-2}, url = {https://doi.org/10.1016%2F0890-5401%2888%2990027-2}, year = {1988}, month = {sep}, publisher = {Elsevier {BV}}, volume = {78}, number = {3}, pages = {205--245}, author = {J.C.M. Baeten and J.A. Bergstra}, title = {Global renaming operators in concrete process algebra}, journal = {Information and Computation} }