@inproceedings{TuriPlotkin:LICS:1997,
    doi = {10.1109/lics.1997.614955},
    url = {https://doi.org/10.1109%2Flics.1997.614955},
    publisher = {{IEEE} Comput. Soc},
    author = {Daniele Turi and Gordon Plotkin},
    title = {Towards a mathematical operational semantics},
    booktitle = {Proc.~of LICS'97},
    pages={280--291},
    year = {1997}
}

@inproceedings{TuriPlotkin:LICS:1997, doi = {10.1109/lics.1997.614955}, url = {https://doi.org/10.1109%2Flics.1997.614955}, publisher = {{IEEE} Comput. Soc}, author = {Daniele Turi and Gordon Plotkin}, title = {Towards a mathematical operational semantics}, booktitle = {Proc.~of LICS'97}, pages={280--291}, year = {1997} }