Paul Blain Levy Sam Staton Transition systems over games. 64:1-64:10 2014 CSL-LICS https://doi.org/10.1145/2603088.2603150 conf/csl/2014 db/conf/csl/csl2014.html#LevyS14