@article{Plotkin_2001,
    doi = {10.1016/s1571-0661(04)80970-8},
    url = {https://doi.org/10.1016%2Fs1571-0661%2804%2980970-8},
    year = {2001},
    month = {nov},
    publisher = {Elsevier {BV}},
    volume = {45},
    pages = {332--345},
    author = {Gordon Plotkin and John Power},
    title = {Semantics for Algebraic Operations},
    journal = {Electronic Notes in Theoretical Computer Science}
}

@article{Plotkin_2001, doi = {10.1016/s1571-0661(04)80970-8}, url = {https://doi.org/10.1016%2Fs1571-0661%2804%2980970-8}, year = {2001}, month = {nov}, publisher = {Elsevier {BV}}, volume = {45}, pages = {332--345}, author = {Gordon Plotkin and John Power}, title = {Semantics for Algebraic Operations}, journal = {Electronic Notes in Theoretical Computer Science} }