GamiCAD: a gamified tutorial system for first time autocad users
MDA: A formal approach to game design and game research