FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science - Arvind, V.; Prasad, Sanjiva (Springer Berlin Heidelberg, 2007)