Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings - Leucker, Martin; Morgan, Carroll (Springer Berlin Heidelberg, 2009)