Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers - Zhiming Liu, Keijiro Araki ((Lecture Notes in Computer Science))