@inproceedings{Baeten,
    doi = {10.1109/lics.2005.43},
    url = {https://doi.org/10.1109%2Flics.2005.43},
    publisher = {{IEEE}},
    author = {J.C.M. Baeten and F. Corradini},
    title = {Regular Expressions in Process Algebra},
    booktitle = {20th Annual {IEEE} Symposium on Logic in Computer Science ({LICS}{\textquotesingle} 05)}
}

@inproceedings{Baeten, doi = {10.1109/lics.2005.43}, url = {https://doi.org/10.1109%2Flics.2005.43}, publisher = {{IEEE}}, author = {J.C.M. Baeten and F. Corradini}, title = {Regular Expressions in Process Algebra}, booktitle = {20th Annual {IEEE} Symposium on Logic in Computer Science ({LICS}{\textquotesingle} 05)} }