Foundations of Software Science and Computation Structures - Arno Pauly (On the Existence of Weak Subgame Perfect Equilibria, 2017)