Dang Van Hung Martin Wirsing Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings 3722 2005 3-540-29107-5 ICTAC Lecture Notes in Computer Science Springer db/conf/ictac/ictac2005.html