Bernd Fischer, Tarmo Uustalu Theoretical Aspects of Computing – ICTAC 2018 - 1st ed. 2018 - Springer International Publishing 2018 - 11187 - Lecture Notes in Computer Science . ISBN: 978-3-030-02508-3 ISSN: 1611-3349