TY - BOOK AU - Robert Mark Hierons, Mohamed Mosbah TI - Theoretical Aspects of Computing – ICTAC 2019 SN - 9783030325053 PB - Springer UR - https://link.springer.com/openurl?genre=book&isbn=978-3-030-32505-3 ER -