GaML - A Modeling Language for Gamification
From game design elements to gamefulness: defining "gamification"