Theoretical Aspects of Computing – ICTAC 2017 - Hung, Dang Van (Springer International Publishing, 2020)