Logic in Games - van Benthem (IEEE, 2003)