Theoretical Aspects of Computing - ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings - Fischer, Bernd; Fischer, Bernd; Uustalu, Tarmo; Uustalu, Tarmo (Springer International Publishing : Imprint: Springer, 2018)