FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - e-bok, Engelsk, 2003