@inproceedings{DBLP:conf/lics/BuntingM24,
  title = "Contextual Equivalence for State and Control via Nested Data",
  author = "Benedict Bunting and Andrzej S. Murawski",
  year = "2024",
  booktitle = "Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024",
  editor = "Pawel Sobocinski and Ugo Dal Lago and Javier Esparza",
  pages = "19:1--19:14",
  publisher = "{ACM}",
  url = "https://doi.org/10.1145/3661814.3662109",
  doi = "10.1145/3661814.3662109",
}