Yoshida, Castellan, Stefanesco, 2020. Game Semantics: Easy as Pi.