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