Operational algorithmic game semantics - Bunting, B; Murawski, AS (Proceedings of the 38th ACM/IEEE Symposium on Logic in Computer Science (LICS 2023), 2023)