Hariharan Ramesh... [et.al.], Foundations of software technology and theoretical computer science - Bangalore: Indian Association for Research in computing science, 2008. - x, 422p.: 27 cm. ISBN: 9783939897088 Dewey Class. No.: 005 HAR