@inproceedings{DBLP:conf/lics/Staton08,
  title = "General Structural Operational Semantics through Categorical Logic",
  author = "Sam Staton",
  year = "2008",
  booktitle = "Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}",
  pages = "166--177",
  publisher = "{IEEE} Computer Society",
  url = "https://doi.org/10.1109/LICS.2008.43",
  doi = "10.1109/LICS.2008.43",
}