Szymon Wasik, Maciej Antczak, Jan Badura, Artur Laskowski, Tomasz Sternal: A Survey on Online Judge Systems and Their Applications. ACM Comput. Surv. 51(1): 3:1-3:34 (2018)