theory of computer science by s s sane