@incollection{Baeten_1993,
    doi = {10.1007/3-540-57208-2_33},
    url = {https://doi.org/10.1007%2F3-540-57208-2_33},
    year = {1993},
    publisher = {Springer Berlin Heidelberg},
    pages = {477--492},
    author = {J. C. M. Baeten and C. Verhoef},
    title = {A congruence theorem for structured operational semantics with predicates},
    booktitle = {{CONCUR}{\textquotesingle}93}
}

@incollection{Baeten_1993, doi = {10.1007/3-540-57208-2_33}, url = {https://doi.org/10.1007%2F3-540-57208-2_33}, year = {1993}, publisher = {Springer Berlin Heidelberg}, pages = {477--492}, author = {J. C. M. Baeten and C. Verhoef}, title = {A congruence theorem for structured operational semantics with predicates}, booktitle = {{CONCUR}{\textquotesingle}93} }