Patterns, Dungeons and Generators
MDA: A formal approach to game design and game research