Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings - Hung, Dang Van; Wirsing, Martin (Springer Berlin Heidelberg, 2005)