Theoretical Aspects of Computing – ICTAC 2018 - Fischer, Bernd (Springer International Publishing, 2020)