Theoretical Aspects of Computing – ICTAC 2014 - Ciobanu (Springer International Publishing, 2014)