Murawski, Tzevelekos, 2011. Game Semantics for Good General References, in: . IEEE.. https://doi.org/10.1109/lics.2011.31