Zhiming Liu Keijiro Araki Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers 3407 2005 3-540-25304-1 ICTAC Lecture Notes in Computer Science Springer db/conf/ictac/ictac2004.html