Hyland, Schalk, n.d.. Games on graphs and sequentially realizable functionals. Extended abstract, in: . IEEE Comput. Soc.. https://doi.org/10.1109/lics.2002.1029834