Theoretical Aspects of Computing - ICTAC 2015 - Leucker; Rueda, Camilo; Valencia, Frank D. (Springer International Publishing, 2015)