Mathematical Foundations Of Computer Science by