Abramsky S. Games in the Semantics of Programming Languages. Proceedings of the AC [Internet]. 1997 Dec. 1 [cited 2025 Dec. 5];. Available from: https://platform.openjournals.nl/PAC/article/view/24559