Foundations Of Software Technology And Theoretical Computer Science by Kesav V. Nori