Theoretical Aspects of Computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings - Sampaio, Augusto; Wang, Farn (Springer International Publishing : Imprint: Springer, 2016)