Current trends in theoretical computer science the challenge of the new century (World Scientific Pub. Co., 2004)