Ramesh Hariharan Madhavan Mukund V. Vinay IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India FSTTCS Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 08004 Dagstuhl Seminar Proceedings db/conf/fsttcs/fsttcs2008.html