Mathematical Foundations of Computer Science, By Ashwin Lall, 1st Edition