Theoretical aspects of computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008 : proceedings - ICTAC (Colóquio) (Springer)