Mathematical Foundation for Computer Science by M. Vasanthi