An introduction to mathematical computer science - Viswanath, Kasturi (Uty. Press, 2008)