Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings - Leucker, Martin (Herausgeber); Morgan, Charles Carroll (Herausgeber) (Theoretical Computer Science and General Issues, 2009)