Theory and Practice of Computation : Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, Proceedings - Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez ((Proceedings in Information and Communications Technology))