Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings - Martin Leucker, Carroll Morgan ((Lecture Notes in Computer Science))