FST TCS 2002: foundations of software technology and theoretical computer science - Anil Seth (Springer, 2002)