Singh Y. Mathematical Foundation of Computer Science 2005