FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science - Sarukkai, Sundar; Kanade, Takeo; Ramanujam, R.; Sen, Sandeep; Kittler, Josef (Springer Berlin / Heidelberg, 2005)