Yo-Sub Han Sang-Ki Ko 387-401 2017 SOFSEM https://doi.org/10.1007/978-3-319-51963-0_30 conf/sofsem/2017 db/conf/sofsem/sofsem2017.html#HanK17