Theoretical Aspects of Computing – ICTAC 2019 - Hierons (Springer International Publishing, 2019)