Fsttcs 2005, Foundations Of Software Technology And Theoretical Computer Science door R. Ramanujam