Theoretical aspects of computing – ICTAC 2017 14th international colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings - Van, Hung Dang; Kapur, Deepak (Springer, 2017)