[1210.4537] Coalgebraic Analysis of Subgame-perfect Equilibria in Infinite Games without Discounting