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