Bernd Fischer, Tarmo Uustalu Theoretical Aspects of Computing – ICTAC 2018 - Springer Springer 2018 ISBN: 9783030025083 Source: EBOOK