Robert Mark Hierons, Mohamed Mosbah Theoretical Aspects of Computing – ICTAC 2019 - Springer Springer 2019 ISBN: 9783030325053 Source: EBOOK