Theory of games and strategies