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