Theory and practice of computation: workshop on computation : theory and practice, Quezon City, Philippines, September 2011: proceedings - Shin-ya Nishizaki, editor (Springer, 2012)