Theoretical Aspects of Computing – ICTAC 2016 - Sampaio; Wang, Farn (Springer International Publishing, 2016)