Walter, Andrew T., Benjamin Boskin, Seth Cooper, and Panagiotis Manolios. “Gamification of Loop-Invariant Discovery from Code”. Proceedings of the AAAI Conference on Human Computation and Crowdsourcing 7, no. 1 (October 28, 2019): 188-196. Accessed January 20, 2021. https://ojs.aaai.org/index.php/HCOMP/article/view/5277.