Theoretical Aspects of Computing – ICTAC 2017 - Hung; Kapur, Deepak (Springer International Publishing, 2017)