Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers - Liu, Zhiming; Araki, Keijiro (Springer Berlin Heidelberg, 2005)