Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] : First