Operational Algorithmic Game Semantics. - Benedict Bunting; Andrzej S. Murawski (LICS, 2023)

Contextual Equivalence for State and Control via Nested Data. - Benedict Bunting; Andrzej S. Murawski (LICS, 2024)