Algorithmic Game Semantics and Component−Based Verification - Abramsky, S; Ghica, D; Ong, L; Murawski, A (2003)