Theoretical Aspects of Computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings - Dang Hung, Martin Wirsing ((Lecture Notes in Computer Science))