Theoretical Aspects of Computing (ICTAC 2011). - Antonio Cerone; Pekka Pihlajasaari (Theor. Comput. Sci., 2014)