Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings - Nishizaki, Shin-ya; Numao, Masayuki; Caro, Jaime; Suarez, Merlin Teodosia (Springer Japan, 2012)