Book

Mathematical Foundations of Computer Science

by G. Shanker Rao