V. VinayBooksFST TCS 2001 : Foundations of Software Technology and Theoretical Computer ScienceFoundations of software technology and theoretical computer scienceAuthor data: Open Library