Augusto Sampaio, Farn Wang Theoretical Aspects of Computing – ICTAC 2016 - Springer Springer 2016 ISBN: 9783319467504 Source: EBOOK