@article{Lenisa_2004,
    title = {Category theory for operational semantics},
    volume = {327},
    issn = {0304-3975},
    url = {http://dx.doi.org/10.1016/j.tcs.2004.07.024},
    doi = {10.1016/j.tcs.2004.07.024},
    number = {1–2},
    journal = {Theoretical Computer Science},
    publisher = {Elsevier BV},
    author = {Lenisa, Marina and Power, John and Watanabe, Hiroshi},
    year = {2004},
    month = {oct},
    pages = {135–154},
    date-added = {2025-11-28 6:59:24 +0100}
}

@article{Lenisa_2004, title = {Category theory for operational semantics}, volume = {327}, issn = {0304-3975}, url = {http://dx.doi.org/10.1016/j.tcs.2004.07.024}, doi = {10.1016/j.tcs.2004.07.024}, number = {1–2}, journal = {Theoretical Computer Science}, publisher = {Elsevier BV}, author = {Lenisa, Marina and Power, John and Watanabe, Hiroshi}, year = {2004}, month = {oct}, pages = {135–154}, date-added = {2025-11-28 6:59:24 +0100} }