Software verification games: Designing Xylem, The Code of Plants
Human computation: a survey and taxonomy of a growing field