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