Mathematical foundation for computer science - Vasanthi, M. (Alpha Science International, 2013)