Books by Noah Wardrip-Fruin
How Pac-Man Eats
How the tools and concepts for making games are connected to what games can and do mean; with examples ranging from Papers, Please to Dys4ia.