Walter, A. T. (2019) “Gamification of Loop-Invariant Discovery from Code”, Proceedings of the AAAI Conference on Human Computation and Crowdsourcing, 7(1), pp. 188–196. doi: 10.1609/hcomp.v7i1.5277.