FST TCS 2001 : Foundations of Software Technology and Theoretical Computer Scienceby Ramesh Hariharan, Madhavan Mukund, V. VinayWriting a summary for young readers…For young readersBook data: Open Library