Dang Van Hung, Deepak Kapur Theoretical Aspects of Computing – ICTAC 2017 - Springer Springer 2017 ISBN: 9783319677293 Source: EBOOK