Teaching Programming with Gamified Semantics
A survey of literature on the teaching of introductory programming